perm filename F83.OUT[LET,JMC]1 blob
sn#738375 filedate 1984-01-08 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00267 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00020 00002
C00021 00003 ∂28-Sep-83 0757 JMC
C00022 00004 ∂28-Sep-83 0800 JMC
C00023 00005 ∂28-Sep-83 1254 JMC meeting
C00024 00006 ∂28-Sep-83 1816 JMC
C00025 00007 ∂29-Sep-83 0945 JMC
C00026 00008 ∂29-Sep-83 0955 JMC
C00027 00009 ∂29-Sep-83 1024 JMC
C00028 00010 ∂29-Sep-83 1041 JMC
C00029 00011 ∂29-Sep-83 1110 JMC
C00030 00012 ∂29-Sep-83 1135 JMC
C00031 00013 ∂29-Sep-83 1136 JMC
C00032 00014 ∂29-Sep-83 1245 JMC
C00033 00015 ∂29-Sep-83 1446 JMC
C00034 00016 ∂29-Sep-83 1901 JMC
C00035 00017 ∂29-Sep-83 2028 JMC
C00036 00018 ∂30-Sep-83 0020 JMC
C00037 00019 ∂30-Sep-83 0224 JMC
C00038 00020 ∂30-Sep-83 1052 JMC
C00039 00021 ∂30-Sep-83 1054 JMC
C00040 00022 ∂30-Sep-83 1055 JMC mailing list
C00041 00023 ∂30-Sep-83 1315 JMC
C00042 00024 ∂30-Sep-83 1346 JMC
C00043 00025 ∂30-Sep-83 1402 JMC
C00044 00026 ∂30-Sep-83 1405 JMC
C00045 00027 ∂30-Sep-83 1405 JMC maclisp manual
C00047 00028 ∂30-Sep-83 1515 JMC
C00048 00029 ∂30-Sep-83 1515 JMC repeat of message
C00049 00030 ∂01-Oct-83 0814 JMC
C00050 00031 ∂01-Oct-83 1934 JMC
C00051 00032 ∂01-Oct-83 1936 JMC
C00052 00033 ∂01-Oct-83 1938 JMC
C00053 00034 ∂01-Oct-83 1943 JMC
C00054 00035 ∂01-Oct-83 2015 JMC Jackson paper
C00056 00036 ∂01-Oct-83 2050 JMC security form
C00057 00037 ∂02-Oct-83 1439 JMC
C00058 00038 ∂02-Oct-83 1620 JMC received your message
C00059 00039 ∂02-Oct-83 2234 JMC security form
C00060 00040 ∂03-Oct-83 1055 JMC
C00063 00041 ∂03-Oct-83 1525 JMC traffic lights
C00064 00042 ∂04-Oct-83 1026 JMC
C00065 00043 ∂04-Oct-83 1028 JMC
C00066 00044 ∂04-Oct-83 1041 JMC paying Bellin for September
C00067 00045 ∂04-Oct-83 1751 JMC
C00068 00046 ∂04-Oct-83 1754 JMC
C00069 00047 ∂04-Oct-83 2103 JMC
C00070 00048 ∂04-Oct-83 2105 JMC
C00071 00049 ∂05-Oct-83 1047 JMC
C00072 00050 ∂05-Oct-83 1358 JMC
C00073 00051 ∂05-Oct-83 1539 JMC
C00074 00052 ∂05-Oct-83 2316 JMC
C00075 00053 ∂06-Oct-83 1208 JMC
C00076 00054 ∂06-Oct-83 1446 JMC
C00077 00055 ∂06-Oct-83 1725 JMC
C00079 00056 ∂06-Oct-83 2111 JMC
C00080 00057 ∂07-Oct-83 0055 JMC
C00082 00058 ∂07-Oct-83 0059 JMC
C00091 00059 ∂07-Oct-83 0140 JMC President's message
C00110 00060 ∂10-Oct-83 1534 JMC
C00111 00061 ∂10-Oct-83 1551 JMC CS223 this winter
C00112 00062 ∂11-Oct-83 1212 JMC
C00113 00063 ∂11-Oct-83 1444 JMC
C00114 00064 ∂11-Oct-83 2215 JMC
C00115 00065 ∂11-Oct-83 2331 JMC
C00116 00066 ∂11-Oct-83 2339 JMC
C00117 00067 ∂11-Oct-83 2350 JMC
C00118 00068 ∂12-Oct-83 0000 JMC
C00119 00069 ∂12-Oct-83 0025 JMC
C00120 00070 ∂12-Oct-83 1501 JMC
C00121 00071 ∂12-Oct-83 1537 JMC
C00122 00072 ∂12-Oct-83 1544 JMC
C00123 00073 ∂12-Oct-83 1801 JMC
C00125 00074 ∂12-Oct-83 2350 JMC (→16114 1-Nov-83)
C00126 00075 ∂13-Oct-83 0019 JMC
C00127 00076 ∂18-Oct-83 1446 JMC bureaucrary wins
C00128 00077 ∂18-Oct-83 1533 JMC car
C00129 00078 ∂18-Oct-83 1608 JMC
C00130 00079 ∂18-Oct-83 1609 JMC Martin Brooks expenses
C00131 00080 ∂18-Oct-83 1853 JMC
C00132 00081 ∂18-Oct-83 2230 JMC re: New Policy Concerning Keys to the Math/CS Library (from SAIL's BBOARD)
C00133 00082 ∂18-Oct-83 2253 JMC
C00134 00083 ∂18-Oct-83 2256 JMC
C00135 00084 ∂18-Oct-83 2351 JMC The Harry Llull Library
C00136 00085 ∂18-Oct-83 2359 JMC
C00137 00086 ∂19-Oct-83 0933 JMC
C00138 00087 ∂19-Oct-83 1224 JMC
C00142 00088 ∂19-Oct-83 1224 JMC
C00143 00089 ∂20-Oct-83 0946 JMC mailing lists
C00144 00090 ∂20-Oct-83 1045 JMC
C00145 00091 ∂25-Oct-83 0028 JMC
C00146 00092 ∂25-Oct-83 0028 JMC
C00147 00093 ∂25-Oct-83 0029 JMC LISP 1980 Conference
C00149 00094 ∂25-Oct-83 1107 JMC
C00150 00095 ∂25-Oct-83 1304 JMC library keys
C00151 00096 ∂25-Oct-83 1654 JMC visit
C00152 00097 ∂26-Oct-83 0211 JMC
C00155 00098 ∂26-Oct-83 0858 JMC
C00156 00099 ∂31-Oct-83 1208 JMC
C00157 00100 ∂01-Nov-83 0001 JMC Expired plan
C00158 00101 ∂01-Nov-83 1902 JMC re: Security at the front door of MJH (from SAIL's BBOARD)
C00159 00102 ∂01-Nov-83 2126 Mailer failed mail returned
C00160 00103 ∂01-Nov-83 2129 JMC
C00161 00104 ∂01-Nov-83 2212 Mailer failed mail returned
C00162 00105 ∂01-Nov-83 2313 Mailer failed mail returned
C00163 00106 ∂02-Nov-83 1118 JMC
C00164 00107 ∂02-Nov-83 2127 JMC send reprint
C00165 00108 ∂03-Nov-83 0039 JMC
C00166 00109 ∂03-Nov-83 0946 JMC next visit
C00167 00110 ∂03-Nov-83 1825 JMC
C00168 00111 ∂04-Nov-83 0106 JMC
C00169 00112 ∂04-Nov-83 1140 JMC
C00170 00113 ∂04-Nov-83 1524 JMC book
C00171 00114 ∂04-Nov-83 2216 JMC
C00172 00115 ∂05-Nov-83 1211 JMC
C00173 00116 ∂05-Nov-83 1448 JMC
C00178 00117 ∂05-Nov-83 2210 JMC illegibility of superscript dots and quotes
C00179 00118 ∂05-Nov-83 2344 JMC
C00180 00119 ∂05-Nov-83 2357 JMC
C00181 00120 ∂06-Nov-83 0033 JMC
C00182 00121 ∂06-Nov-83 1204 JMC re: Computer crime (medium long flame) (from SAIL's BBOARD)
C00185 00122 ∂06-Nov-83 1311 JMC forensic computer science
C00186 00123 ∂06-Nov-83 1413 JMC
C00189 00124 ∂06-Nov-83 2220 JMC re: they got one of the cretins! (from SAIL's BBOARD)
C00190 00125 ∂07-Nov-83 1027 JMC
C00192 00126 ∂07-Nov-83 1844 JMC
C00193 00127 ∂07-Nov-83 2059 JMC
C00194 00128 ∂08-Nov-83 1251 JMC Stoyan lecture at LISP conference
C00195 00129 ∂08-Nov-83 1555 JMC
C00196 00130 ∂08-Nov-83 1726 JMC
C00197 00131 ∂08-Nov-83 1926 JMC
C00198 00132 ∂08-Nov-83 2145 JMC
C00199 00133 ∂09-Nov-83 1321 JMC
C00200 00134 ∂09-Nov-83 1330 JMC
C00201 00135 ∂09-Nov-83 1636 JMC Testing connection from University of Stockholm
C00203 00136 ∂09-Nov-83 1644 JMC Marr quote
C00204 00137 ∂09-Nov-83 1711 JMC Acknowledgement
C00205 00138 ∂09-Nov-83 2224 JMC
C00206 00139 ∂10-Nov-83 1116 JMC
C00207 00140 ∂10-Nov-83 1118 JMC
C00208 00141 ∂10-Nov-83 1119 JMC
C00209 00142 ∂10-Nov-83 1125 JMC
C00210 00143 ∂11-Nov-83 0151 JMC
C00211 00144 ∂11-Nov-83 0152 JMC Stoyan
C00212 00145 ∂11-Nov-83 0211 JMC
C00213 00146 ∂11-Nov-83 1213 JMC
C00214 00147 ∂11-Nov-83 1716 JMC addresses
C00215 00148 ∂12-Nov-83 1058 JMC
C00216 00149 ∂12-Nov-83 1502 JMC prediction of doom (or rather irrelevance)
C00217 00150 ∂12-Nov-83 1726 JMC paper
C00218 00151 ∂13-Nov-83 0245 JMC
C00220 00152 ∂14-Nov-83 1343 JMC trip to France
C00221 00153 ∂14-Nov-83 1702 JMC
C00222 00154 ∂15-Nov-83 0216 JMC
C00223 00155 ∂15-Nov-83 1011 JMC
C00224 00156 ∂15-Nov-83 1157 JMC
C00225 00157 ∂15-Nov-83 1710 JMC
C00226 00158 ∂15-Nov-83 2323 JMC
C00227 00159 ∂15-Nov-83 2327 JMC
C00228 00160 ∂15-Nov-83 2330 JMC defining subst
C00229 00161 ∂16-Nov-83 0024 JMC
C00230 00162 ∂16-Nov-83 0117 JMC
C00231 00163 ∂16-Nov-83 2342 JMC limitations of logic
C00234 00164 ∂16-Nov-83 2343 JMC ignorance
C00236 00165 ∂16-Nov-83 2357 JMC ignorance
C00237 00166 ∂17-Nov-83 0059 JMC
C00238 00167 ∂17-Nov-83 0100 JMC
C00239 00168 ∂17-Nov-83 0108 JMC
C00240 00169 ∂17-Nov-83 1114 JMC
C00241 00170 ∂17-Nov-83 1126 JMC problem for class
C00242 00171 ∂17-Nov-83 1556 JMC
C00243 00172 ∂17-Nov-83 1650 JMC finding the room
C00245 00173 ∂18-Nov-83 1129 JMC
C00246 00174 ∂18-Nov-83 1712 JMC
C00247 00175 ∂18-Nov-83 1719 JMC
C00248 00176 ∂19-Nov-83 0023 JMC
C00249 00177 ∂19-Nov-83 0057 JMC
C00250 00178 ∂19-Nov-83 2008 JMC
C00251 00179 ∂19-Nov-83 2341 JMC
C00252 00180 ∂20-Nov-83 0007 JMC
C00254 00181 ∂20-Nov-83 1236 JMC invoice to Inference
C00255 00182 ∂20-Nov-83 1724 JMC
C00256 00183 ∂20-Nov-83 1736 JMC knowledge seminar
C00257 00184 ∂21-Nov-83 1043 JMC
C00258 00185 ∂21-Nov-83 2321 JMC
C00259 00186 ∂22-Nov-83 1546 JMC
C00260 00187 ∂24-Nov-83 1827 JMC suggest renaming FOL
C00261 00188 ∂24-Nov-83 1931 JMC Re: reasoning about inconsistency
C00266 00189 ∂25-Nov-83 0309 JMC
C00267 00190 ∂25-Nov-83 1525 JMC
C00268 00191 ∂26-Nov-83 1105 Mailer failed mail returned
C00271 00192 ∂26-Nov-83 1109 JMC logic.pro[f83,jmc] Proposal for logic in AI mailing list
C00274 00193 ∂26-Nov-83 1149 JMC
C00275 00194 ∂26-Nov-83 1818 JMC
C00278 00195 ∂27-Nov-83 1545 JMC
C00279 00196 ∂28-Nov-83 1602 JMC
C00280 00197 ∂28-Nov-83 1701 JMC
C00281 00198 ∂28-Nov-83 2113 JMC re: Thanksgiving dinner survey (from SAIL's BBOARD)
C00282 00199 ∂29-Nov-83 1747 JMC
C00283 00200 ∂29-Nov-83 2219 JMC Stoyan
C00284 00201 ∂30-Nov-83 0010 JMC
C00285 00202 ∂30-Nov-83 0045 JMC
C00286 00203 ∂30-Nov-83 1051 JMC logic in AI electronic journal
C00287 00204 ∂30-Nov-83 1211 JMC
C00288 00205 ∂30-Nov-83 1326 Mailer failed mail returned
C00289 00206 ∂30-Nov-83 1329 JMC
C00290 00207 ∂30-Nov-83 1347 JMC
C00291 00208 ∂30-Nov-83 1517 JMC
C00292 00209 ∂30-Nov-83 2006 JMC Coloring maps and the Kowalski doctrine
C00293 00210 ∂30-Nov-83 2008 JMC
C00294 00211 ∂30-Nov-83 2300 JMC source of quotation
C00295 00212 ∂01-Dec-83 0110 JMC
C00296 00213 ∂01-Dec-83 0953 JMC
C00297 00214 ∂01-Dec-83 2351 JMC logic-in-ai
C00298 00215 ∂02-Dec-83 0210 JMC SF commentary
C00305 00216 ∂02-Dec-83 1109 JMC termites
C00306 00217 ∂02-Dec-83 1904 JMC
C00307 00218 ∂02-Dec-83 1905 JMC
C00308 00219 ∂02-Dec-83 2124 JMC
C00309 00220 ∂02-Dec-83 2146 JMC
C00310 00221 ∂02-Dec-83 2228 JMC
C00313 00222 ∂03-Dec-83 1401 JMC
C00314 00223 ∂03-Dec-83 1659 JMC
C00315 00224 ∂03-Dec-83 1659 JMC re: Winston Churchill --biography?? (from SAIL's BBOARD)
C00316 00225 ∂04-Dec-83 2335 JMC visit
C00317 00226 ∂04-Dec-83 2335 JMC
C00318 00227 ∂04-Dec-83 2347 JMC vist
C00319 00228 ∂05-Dec-83 1204 JMC
C00320 00229 ∂05-Dec-83 1353 JMC
C00321 00230 ∂05-Dec-83 1741 JMC re: To the person with the red pencil and nasty temperament: (from SAIL's BBOARD)
C00322 00231 ∂05-Dec-83 1745 JMC
C00323 00232 ∂07-Dec-83 0109 Mailer failed mail returned
C00327 00233 ∂07-Dec-83 0131 JMC Dover spooling
C00328 00234 ∂07-Dec-83 1127 JMC wrong track
C00329 00235 ∂07-Dec-83 1621 JMC
C00330 00236 ∂08-Dec-83 1027 JMC
C00331 00237 ∂08-Dec-83 1029 JMC
C00332 00238 ∂09-Dec-83 0055 JMC
C00333 00239 ∂09-Dec-83 1303 JMC Lisp for IBM
C00334 00240 ∂09-Dec-83 1501 JMC
C00335 00241 ∂09-Dec-83 1514 JMC motivation on "Algebra of Types"
C00336 00242 ∂10-Dec-83 1732 JMC
C00337 00243 ∂11-Dec-83 1206 JMC
C00338 00244 ∂11-Dec-83 1742 JMC What is the moral of this story?
C00342 00245 ∂11-Dec-83 2139 JMC re: Also Sprach Robert Greer Cohn (from SAIL's BBOARD)
C00343 00246 ∂12-Dec-83 1459 JMC
C00344 00247 ∂12-Dec-83 1556 JMC
C00345 00248 ∂12-Dec-83 1746 JMC visit
C00346 00249 ∂13-Dec-83 1626 JMC
C00347 00250 ∂13-Dec-83 1636 JMC re: New Generation computing: Japanese and U.S. views (from SAIL's BBOARD)
C00349 00251 ∂13-Dec-83 2205 JMC
C00350 00252 ∂14-Dec-83 0111 JMC
C00351 00253 ∂14-Dec-83 2310 JMC
C00352 00254 ∂15-Dec-83 0852 JMC
C00353 00255 ∂15-Dec-83 0853 JMC Doctor's dilemma
C00354 00256 ∂19-Dec-83 0045 JMC frame problem
C00355 00257 ∂19-Dec-83 1411 JMC
C00356 00258 ∂20-Dec-83 0145 JMC
C00357 00259 ∂20-Dec-83 1426 JMC
C00359 00260 ∂20-Dec-83 1534 JMC
C00360 00261 ∂20-Dec-83 1535 JMC
C00361 00262 ∂20-Dec-83 2249 JMC Winter 1983 or Winter 1984
C00362 00263 ∂20-Dec-83 2300 JMC
C00363 00264 ∂21-Dec-83 1154 JMC
C00364 00265 ∂21-Dec-83 1344 JMC
C00366 00266 ∂21-Dec-83 1351 JMC Re: Ehud Shapiro
C00368 00267 ∂21-Dec-83 1501 JMC
C00371 ENDMK
C⊗;
∂28-Sep-83 0757 JMC
To: aaai-office@SUMEX-AIM
I agree that nothing had been decided about post-doctoral fellowships.
We need to decide whether to do it and if yes decide how a program should
be administered. My inclination would be to try to get an organization
with an existing fellowship program to administer it for us. I also
want to pursue the electronic library of AI reports that Mike Genesereth
studied a bit. You can phone me at Stanford or at home as soon as it is
convenient for you.
∂28-Sep-83 0800 JMC
To: DFH
No comment on Hacker's Dictionary; it's a hack job
∂28-Sep-83 1254 JMC meeting
To: genesereth@SUMEX-AIM
I would like to get together to discuss
1. the possibility of collaborating on CS222
2. the requests to repeat our summer course
3. getting going on the library of AI reports. If it's feasible, I
think it ought to be the highest priority for the use of AAAI's cash
surplus - even above postdocs.
4. Elaine Rich's book. It strikes me as a good candidate for the
sole reference for AI on the comprehensive other than some LISP
programming.
∂28-Sep-83 1816 JMC
To: walker@SRI-AI
We are not talking about storing abstracts but about storing the complete
documents. Are you willing to be on a committee that will make a proposal
to the Council?
∂29-Sep-83 0945 JMC
To: CG
Let's discuss the NSF turndown of your proposal. Have you phoned them?
∂29-Sep-83 0955 JMC
To: aaai-office@SUMEX-AIM
∂29-Sep-83 0949 WALKER@SRI-AI.ARPA
Received: from SRI-AI by SU-AI with TCP/SMTP; 29 Sep 83 09:49:29 PDT
Date: Thu 29 Sep 83 09:41:41-PDT
From: Don Walker <WALKER@SRI-AI.ARPA>
To: JMC@SU-AI.ARPA
cc: Amsler@SRI-AI.ARPA
In-Reply-To: Your message of Wed 28 Sep 83 18:16:00-PDT
For storing complete documents, my arguments are even more relevant.
I would be willing to be on a such a committee and would suggest that
my colleague Bob Amsler would also be extremely valuable on that
committee.
Don
-------
∂29-Sep-83 1024 JMC
To: DFH
REITER.RE1[LET,JMC]
∂29-Sep-83 1041 JMC
To: DFH
shapir.re1
∂29-Sep-83 1110 JMC
To: DFH
patel.1
∂29-Sep-83 1135 JMC
To: DFH
Diana, please pub GINSBE.1 and
please send him Ascribing ..., First order theory, Some philosophical ...
and Circumscription ... .
∂29-Sep-83 1136 JMC
To: CG
Please see Army Research Office RFP.
∂29-Sep-83 1245 JMC
To: RPG
Please tell him it will be you instead of me, but I plan to attend.
10-10 Mon 10:30 am. HPP talk, Bruce Delagi
∂29-Sep-83 1446 JMC
To: RPG
I suppose that if you arrange it today or tomorrow it can be with REG -
otherwise with LB.
∂29-Sep-83 1901 JMC
To: walker@SRI-AI
I have asked Claudia to send a message to the Executive Committee on
my behalf proposing the change of secretary treasurers, and I agree
to the proposals in your message.
∂29-Sep-83 2028 JMC
To: walker@SRI-AI
Sure. Invite Jake.
∂30-Sep-83 0020 JMC
To: walker@SRI-AI
Perhaps this is naive in some way, but it seems to me that there are
adequate avenues for publishing books and collections of papers in
AI and no need for either IJCAI or AAAI to take a hand. Let the
authors reap what financial rewards there are. Also I'd rather
AAAI used what initiative the Executive Committee can summon in
other ways.
∂30-Sep-83 0224 JMC
To: library@SU-SCORE
jmc - How can we get Socrates from terminals attached to our computers?
∂30-Sep-83 1052 JMC
To: reddy@CMU-CS-A
Walker@SRI-AI.ARPA, Amsler@SRI-AI.ARPA, Nilsson@SRI-AI.ARPA,
Buchanan@SUMEX-AIM, Genesereth@SUMEX-AIM,aaai-office@SUMEX-AIM,
feinler@sri-kl,reddy@cmu-cs-a
Raj: I am including you in a distribution list for messages concerning
a proposed electronic library of AI reports being considered by AAAI.
For the time being, at least, we will be holding a few face-to-face
meetings in the Palo Alto area.
∂30-Sep-83 1054 JMC
To: aaai-office@SUMEX-AIM
Claudia:
Here is my current mailing list for the AAAI electronic
library discussions. Are there more names you know about?
Walker@SRI-AI.ARPA, Amsler@SRI-AI.ARPA, Nilsson@SRI-AI.ARPA,
Buchanan@SUMEX-AIM, Genesereth@SUMEX-AIM,aaai-office@SUMEX-AIM,
feinler@sri-kl,reddy@cmu-cs-a
∂30-Sep-83 1055 JMC mailing list
To: walker@SRI-AI
Please include aaai-office%sumex and reddy%cmu-cs-a in your mailing list
on AAAI electronic library. We can rely on Claudia for much if we keep
her informed, and Raj and I are involved in another electronic library
project in France.
∂30-Sep-83 1315 JMC
To: DFH
bayerl.1
∂30-Sep-83 1346 JMC
To: DFH
Please campus mail the following to Alphonse Juilland.
O wad some Pow'r the giftie gie us
To see oursels as others see us!
It wad frae mony a blunder free us,
And foolish notion
Robert Burns, To a Louse
∂30-Sep-83 1402 JMC
To: DFH
Please send Juilland this slightly longer version instead.
Oh, wad some Pow'r the giftie gie us
To see oursel's as others see us!
It wad frae monie a blunder free us,
And foolish notion:
What airs in dress an 'gait wad lea'e us,
And e'en Devotion
- Robert Burns, To a Louse
∂30-Sep-83 1405 JMC
To: jvc@SU-SCORE
Thanks.
∂30-Sep-83 1405 JMC maclisp manual
To: YOM
Please take appropriate action.
∂30-Sep-83 1339 JANET@KESTREL maclisp manual
Received: from KESTREL by SU-AI with TCP/SMTP; 30 Sep 83 13:39:11 PDT
Date: 30 Sep 1983 1339-PDT
From: Janet Coursey <Janet at KESTREL>
Subject: maclisp manual
To: jmc at SU-AI
Reply-To: jvc@score
The bookstore is sold out of the new Pittman Maclisp manual.
They will not order more until they are told by a professor how many
more to order. I think that students of Lenat's lisp course, cs102,
probably purchased many of them, although it was not required.
Also hackers at large from CSD and Lots probably purchased many---
a decent manual has been long awaited. Maybe an unsatisfied demand
count can be taken in cs102 and cs206, and the sum plus spares ordered.
The bookstore said the time of arrival would be about a month after the
order; MIT is slow.
Janet Coursey
-------
∂30-Sep-83 1515 JMC
To: aaai-office@SUMEX-AIM
I told Reiter $5K for his workshop
and that IEEE co-sponsorship was ok with us.
∂30-Sep-83 1515 JMC repeat of message
To: aaai-office@SUMEX-AIM
I told Reiter $5K for his workshop and that IEEE co-sponsorship was ok. He'll
be in touch with you.
∂01-Oct-83 0814 JMC
To: Colmerauer.GIA@MIT-MULTICS
Lang said he would support the project, but we were not in a position
to ask him for anything concrete for lack of a local manager.
∂01-Oct-83 1934 JMC
To: Pool@MIT-MULTICS
I received an unexpected paper about cable TV regulation from you.
∂01-Oct-83 1936 JMC
To: library@SU-SCORE
Harry:
I have heard praise of the Touretzky book that suggests the library should
have it. I would gamble on the Eisenstadt and O'Shea book also.
I've been away so the issue may be moot.
∂01-Oct-83 1938 JMC
To: doyle@CMU-CS-C
I agree there's a problem, and my first "President's message" in the
AI Magazine will be a harangue on the subject.
∂01-Oct-83 1943 JMC
To: davis%oz@MIT-MC
If we decide the Fredkin meeting is appropriate, we shouldn't combine
it with Dowdy's show. We can suppose that Dowdy already knows what
he wants to come out of it, and it may not co-incide with what we would
want.
∂01-Oct-83 2015 JMC Jackson paper
To: Pool@MIT-MULTICS
It was net mail and sent to JMC@MC and forwarded to me. Here's a sample
∂20-Sep-83 1212 @MIT-MC:Pool@MIT-MULTICS Jackson paper
Received: from MIT-MC by SU-AI with TCP/SMTP; 20 Sep 83 12:12:13 PDT
Date: 20 September 1983 1441-edt
From: Ithiel de Sola Pool <Pool @ MIT-MULTICS>
Subject: Jackson paper
To: JMC @ MIT-MC
.nf
Jackson's is a superb analysis of the available technologies
of communications, which at the end falls into an ideological
trap. What this paper does well, is something that needs to
be done more often. Too much of our public policy is made by
lawyers and economists who do not understand the technological
alternatives with which they are playing. As Jackson notes,
the history of broadcasting regulation is a star example. The
∂01-Oct-83 2050 JMC security form
To: DFH
I have found the security form, and it can be copied. However, the
list of foreign trips isn't with it. Ask the Livermore security
office if I can have a copy of what I submitted before.
∂02-Oct-83 1439 JMC
To: DFH
SECURE[1,JMC] is the file in question. I'm updating it.
∂02-Oct-83 1620 JMC received your message
To: janet.asbury@CMU-CS-A
Just received your message with draft. I'll try but cannot guarantee
to produce revision by tomorrow.
∂02-Oct-83 2234 JMC security form
To: DFH
The file SECURE[1,JMC] is now up-to-date, I hope, on my foreign travel.
The rest of the information is unchanged and is in my desk file drawer.
Please check that I've got everything they want except fingerprints.
The last time they didn't like the DMV's fingerprints and took their own,
so I'll have them taken at Livermore again.
∂03-Oct-83 1055 JMC
To: peters@SRI-AI
I received the following message three times with headers as shown.
∂03-Oct-83 1043 PETERS@SRI-AI.ARPA No meeting today
Received: from SRI-AI by SU-AI with TCP/SMTP; 3 Oct 83 10:43:15 PDT
Date: Mon 3 Oct 83 10:39:26-PDT
From: Stanley Peters <PETERS@SRI-AI.ARPA>
Subject: No meeting today
To: csli-building@SRI-AI.ARPA
cc: bmacken@SRI-AI.ARPA
We've been working so hard on substantive things, and the university
planners have been slow enough in responding to our earlier proposals,
that there is no urgent business to conduct today. Hurray! The meeting
is cancelled.
-------
∂03-Oct-83 1043 PETERS@SRI-AI.ARPA No meeting today
Received: from SRI-AI by SU-AI with TCP/SMTP; 3 Oct 83 10:43:15 PDT
Date: Mon 3 Oct 83 10:39:26-PDT
From: Stanley Peters <PETERS@SRI-AI.ARPA>
Subject: No meeting today
To: csli-building@SRI-AI.ARPA
cc: bmacken@SRI-AI.ARPA
We've been working so hard on substantive things, and the university
planners have been slow enough in responding to our earlier proposals,
that there is no urgent business to conduct today. Hurray! The meeting
is cancelled.
-------
∂03-Oct-83 1043 PETERS@SRI-AI.ARPA No meeting today
Received: from SRI-AI by SU-AI with TCP/SMTP; 3 Oct 83 10:43:15 PDT
Date: Mon 3 Oct 83 10:39:26-PDT
From: Stanley Peters <PETERS@SRI-AI.ARPA>
Subject: No meeting today
To: csli-building@SRI-AI.ARPA
cc: bmacken@SRI-AI.ARPA
We've been working so hard on substantive things, and the university
planners have been slow enough in responding to our earlier proposals,
that there is no urgent business to conduct today. Hurray! The meeting
is cancelled.
-------
∂03-Oct-83 1525 JMC traffic lights
To: LEP
Have you been thinking about it? There is a new master's student Joseph Edozien
who also might be interested and the three of us might get together.
He is EDOZIEN@SCORE. How about Thursday at 4pm?
∂04-Oct-83 1026 JMC
To: aaai-office@SU-SCORE
The presidential message will be ready this week.
On another subject, the message asking for approval of replacing
Don Walker by Rich Fikes should have referred to my requesting approval
rather than you. No correction is necessary unless you feel like it.
∂04-Oct-83 1028 JMC
To: DBL@SU-AI, buchanan@SUMEX-AIM, RV@SU-AI
A written exam for one student is much too much work. I propose that
we delay until early November and then proceed as before.
∂04-Oct-83 1041 JMC paying Bellin for September
To: DFH, JK
As I understand it, he was paid for two months, because that was my
original offer. I am agreeable to paying him for a third month, i.e. September,
if Jussi agrees.
∂04-Oct-83 1751 JMC
To: waldinger@SRI-AI
I'll look at "applications of protected circumscription", and if it
looks too hard for me to follow, I'll send it back. Don't send me
the only copy.
∂04-Oct-83 1754 JMC
To: RV@SU-AI, DBL@SU-AI, buchanan@SUMEX-AIM, DFH@SU-AI
The second week in November would suit me best, because I'll be back
only on the 1st from two weeks of travelling (my last for some time).
However, the first is possible if necessary. The right secretary to
arrange a time is Diana Hall DFH.
∂04-Oct-83 2103 JMC
To: feigenbaum@SUMEX-AIM, eengelmore@SUMEX-AIM
I have a class from 1:15 to 2:30. Otherwise, it's ok.
∂04-Oct-83 2105 JMC
To: almog@SRI-AI
I will be away for the second half of the month. Any time in November
would be fine, however.
∂05-Oct-83 1047 JMC
To: DFH
For future reference, that's Alexander Trakhtenbrot.
∂05-Oct-83 1358 JMC
To: YM@SU-AI, golub@SU-SCORE
I see no need for two committees, and Gene hasn't suggested anything else.
∂05-Oct-83 1539 JMC
To: golub@SU-SCORE
Sorry, Gene. The question was whether there are separate planning and
current computer facilities committees.
∂05-Oct-83 2316 JMC
To: DFH
Please arrange for me to get a C.I.T. account charged to arpa.
∂06-Oct-83 1208 JMC
To: YM
Two will suffice.
∂06-Oct-83 1446 JMC
To: DFH
Yes, it is correct, Oct 1 is ok, and charge it to my unrestricted.
∂06-Oct-83 1725 JMC
To: pack@SU-SCORE, edozien@SU-SCORE
blocks[f83,jmc] Improved blocks axioms
Notes after conversation with Leslie Pack and Joe Edozien.
¬ab aspect1(x,p,s) ⊃ location(x,result(move(x,p),s)) = p
[location(z,s) = x ∨ location(z,s) = p] ∧ ¬ab g8(z,x,p,s) ⊃ ab aspect1(x,p,s)
tiny z ⊃ ab g8(z,x,p,s)
¬ab g7(x,e,s) ⊃ location(x,result(e,s)) = location(x,s)
ab g7(x,move(x,p),s)
¬ab g8(x,e,s) ⊃ color(x,result(e,s)) = color(x,s)
¬ab aspect2(x,c,s) ⊃ color(x,result(paint(x,c),s)) = c
These axioms about the results of moving and painting are slightly
extended from those that were put on the blackboard during the
afore-mentioned conversation. Further versions may be sent to
replace this one.
∂06-Oct-83 2111 JMC
To: JMC
848-7610
∂07-Oct-83 0055 JMC
To: golub@SU-SCORE, feigenbaum@SUMEX-AIM
Report on the Industrial Professorship:
There were exactly four volunteers for the four slots, so there
was no problem of selection. Two people from SRI jointly taught a course
on vision in the Spring of 83. The three courses for this academic
year are taught by Bob Moore of SRI, Stan Rosenschein of SRI and
John Greenstadt of IBM. The course descriptions are in the catalog.
The Department agreed to one year of Industrial Professorship, but
we won't have more than the Spring and part of the Fall to evaluate
before we have to decide whether it is a success. Therefore, I suggest
we continue for another year and make the main evaluation next Fall.
We need to get out the solicitationof applications again, say in early
November. The deadline for proposed catalog statements needs to be
February 1 so we can decide promptly and get the new statements
into the catalog. (We have to be sure that this year's statements
aren't continued next year). If there is a problem of selection
this year, I propose to put it to a Department meeting.
∂07-Oct-83 0059 JMC
To: aaai-office@SUMEX-AIM
What follows is the President's message. It can be shortened if there
is a space problem. Please forward it to Bob Englemore at whereever
he receives such things. Note that the formulas n↑2 and n log n
need to be printed properly.
AI NEEDS MORE EMPHASIS ON BASIC RESEARCH
Too few people are doing basic research in AI relative to the
number working on applications. The ratio basic/applied is less in
AI than in the older sciences and than in computer science generally.
This is unfortunate, because reaching human level artificial intelligence
will require fundamental conceptual advances. Even the applied goals
proposed by various groups in the U.S., Europe and Japan
for the next ten years are not just engineering extrapolations from
the present state of science. Their realization will require more basic
research than is now being done.
Jon Doyle put it this way in a recent net message. "... tentative,
but disturbing conclusion: that the students interested in AI are not
very interested in fundamental questions, open problems, and long term
research, but instead are eager to get in on big, build-it-now
projects in expert systems and natural language interfaces." His
was definite about CMU, but he conjectured that the situation was similar
elsewhere, and I suppose student preferences are similar in different
places.
I'll begin with a few recriminations and then try to be more
constructive. First the Government, specifically DARPA and NSF, had
a fit of extreme "practicality" in the early 1970s. The Mansfield
amendment required DARPA to claim short term military relevance for
what it supported, and NSF diverted much of its resources to "Research
Applied to National Needs". The older sciences were able to resist this
in NSF but lost their DARPA support completely. AI, which was more
dependent on DARPA than the others were, survived but wounded. The
situation has improved in both places in recent years.
Second the opportunities to make money have perhaps lured
some people away from research per se. I don't really know the
extent to which this is true. Maybe they were tired of research.
Third much of the theoretical work in AI is beside the point
and unlikely to lead to advances toward human level intelligence.
The mathematically talented like well-defined conjectures
the wherein the mere statement of the result that has been proved or
the asymptotic behavior of the algorithm discovered wins instant
scientific recognition.
AI badly needs mathematical and logical theory,
but the theory required involves
conceptual innovations - not just mathematics. We won't reach
human level intelligence by more algorithms reducing the complexity
of a problem from n↑2 to n log n and still less by proofs that
yet another problem is unsolvable or NP-complete.
Fourth, like many fields AI is given to misguided enthusiasms
in which large numbers of people make the same errors. In my opinion,
much of the present work in natural language processing is
misguided. There is too much emphasis on syntax and not enough on
the semantics. Natural language front ends on programs that convert
between existing AI formalisms and English miss the point.
What we can learn from natural language is not how to express in English
what we already know how to express in computerese. Rather we must
study those ideas expressible in natural language that no-one knows
how to represent at all in a computer.
We also won't reach human level intelligence by building
larger and larger production systems involving more and more facts
all on the same level.
Now that I've finished grumbling, I'll try to be constructive.
1. People beginning their research careers should think about the
long term goals of AI and should think how to apply their own talents
in the best way. If they can do first class basic research they should.
2. In my opinion, the key problem at present is the formalization
of common sense knowledge and reasoning ability. It still looks to me
that separating epistemology from heuristics will pay off.
3. We need to think hard about how to make experiments that
are really informative. At present the failures are more important
than the successes, because they often tell us that the intellectual
mechanisms we imagined would intelligently solve certain problems
are inadequate.
4. We need good problem domains - the AI analog of what the
Drosophila did for genetics. The Soviet computer scientist A. S.
Kronrod once referred to chess as the Drosophila of artificial
intelligence, because it permitted comparison of human and artificial
intellectual mechanisms. Unfortunately, chess was discouraged as
a serious problem domain, and most chess programming is carried on
at the level of sport rather than science. In particular, there is
little publication about the intellectual mechanisms involved, and
the race often involves merely faster hardware.
5. I also believe there is a large payoff in a more general
analysis of the concept of pattern.
Finally, let me cheerfully admit that general harangues
like this one are no substitute for scientific papers setting
forth specific problems in detail.
∂07-Oct-83 0140 JMC President's message
To: aaai-office@SUMEX-AIM, benglemore@SRI-KL
I have tinkered some more with it, so the version I sent Claudia isn't
quite right. When ready, ask for the final version.
∂10-Oct-83 1534 JMC
To: DFH
Please decorate termeu.1[let,jmc]. It should go special deliver or express
mail and a copy should also be sent to the following home address.
St. Walbrugstraat 3
9712 HX Groningen
HOLLAND
∂10-Oct-83 1551 JMC CS223 this winter
To: genesereth@SUMEX-AIM
CC: golub@SU-SCORE
Gene has agreed to our proposal that we teach it jointly and that
CS258 not be given this year. I'll make an announcement about
CS258 and offer a reading course to any student discommoded by
the change. I look forward to working together on CS223.
∂11-Oct-83 1212 JMC
To: LB@SU-AI
News wires are down.
∂11-Oct-83 1444 JMC
To: DFH
Changing the keys to one master including my office is ok.
∂11-Oct-83 2215 JMC
To: JJW, YOM
Present 206 students who couldn't buy Maclisp manuals should get summaries.
∂11-Oct-83 2331 JMC
To: golub@SU-SCORE
Are you talking about holding off for 84-85 or reneging on the lecturers
already recruited for this year whose courses are already announced in the
catalog? As for 84-85, we can hold off any attempt to recruit lecturers
until January. If we hold off longer, we should skip 84-85.
Bob Moore is already lecturing this Fall, Stan Rosenschein is scheduled
for this Winter and John Greenstadt for this Spring. I have made no
specific financial arrangement, but the announcement and oral communications
have said that we would pay what the Department usually pays lecturers.
∂11-Oct-83 2339 JMC
To: golub@SU-SCORE
If worst comes to worst, you might try to get IBM to donate the services
of John Greenstadt, but I don't know what arrangements the individuals
have made with IBM and SRI respectively about whether they are docked
for the time off.
∂11-Oct-83 2350 JMC
To: golub@SU-SCORE
I leave IBM and SRI to you, since my commitment involved only finding
reasonable lecturers and getting reasonable course descriptions from
them and explicitly did not include settling financial arrangements.
∂12-Oct-83 0000 JMC
To: golub@SU-SCORE
CC: genesereth@SUMEX-AIM, floyd@SU-SCORE
There are 120 students in CS 223 as opposed to about 10 usually in
CS258. However, it seems to me better, in view of the complications, to give
up the idea. Therefore, I'll teach CS258 as originally scheduled.
∂12-Oct-83 0025 JMC
To: golub@SU-SCORE
Gene, I regard your decisions on both the Industry Lectureship for this year
and on CS223 as going back on proposals to which you had previously assented.
Both were discussed twice or more with you, and you previously agreed to both.
Neither causes great harm to me, but it would be better if you wouldn't
commit yourself till you are ready to stick to the commitments.
∂12-Oct-83 1501 JMC
To: YOM
One student told me he was unable to find a manual. Please check tomorrow.
∂12-Oct-83 1537 JMC
To: MRC@SU-AI
No, but the Math Library will have the Rand table of 10↑6 primes.
∂12-Oct-83 1544 JMC
To: mrc@SU-SCORE
How about 1999 which is prime?
∂12-Oct-83 1801 JMC
To: CLT
CONSULTANT IN COMPUTER LANGUAGE SEMANTICS
Professor Yiannis Moschovakis, who is one of the world's experts
in recursion theory and who has been working on the semantics of
computer languages for the past couple of years, has agreed to serve
as a consultant this quarter. He will be coming up from UCLA most
Tuesdays in conjunction with the Working Group on Computer Language
Semantics, which meets at 9:30 a.m. Tuesdays at PARC. Next week's
meeting, by way of reminder, will feature Henson Graves discussing the
relation between Category Theory and the Programming Languages.
∂12-Oct-83 2350 JMC (→16114 1-Nov-83)
To: "#___JMC.PLN[2,2]"
I will be mostly gone until Nov. 1 but will be back for one day each
twice during that time.
∂13-Oct-83 0019 JMC
To: DFH
My late wife Vera Watson's birthday was 1932 February 15.
∂18-Oct-83 1446 JMC bureaucrary wins
To: faculty@SU-SCORE
I strongly resent our representative on the library committee voting
for abolishing library keys.
∂18-Oct-83 1533 JMC car
To: CLT
The problem was that you left the light switch in the intermediate
position and the battery ran down. I jumpered it from your car,
and it started fine. Your car is now in the A lot where mine was.
I hope they don't come around again today.
∂18-Oct-83 1608 JMC
To: DFH
∂AIL L-5 Society↓1620 N. Park Ave.↓Tucson, Ariz. 85719∞
∂18-Oct-83 1609 JMC Martin Brooks expenses
To: DFH@SU-AI, bscott@SU-SCORE
CC: RPG@SU-AI
We did indeed agree to pay $500 towards Martin Brooks's travelling
expenses for a job interview. We didn't hire him. RPG has details.
∂18-Oct-83 1853 JMC
To: DFH
Martha's birthday is April 24, 1933.
Patrick McCarthy's is July 6, 1929.
∂18-Oct-83 2230 JMC re: New Policy Concerning Keys to the Math/CS Library (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - The bureaucratic mind is not the exclusive province of bureaucrats.
Professors, as in the libray key matter, also often prefer bureaucratic
approaches to problems. I plan to avoid using the library for six
months as a protest. Of course, librarians really prefer to have no-one
in the library at all. Eventually, we'll computerize the industry
and eliminate the bastards.
∂18-Oct-83 2253 JMC
To: library@SU-SCORE
CC: faculty@SU-SCORE
As a protest against the new key policy, I do not intend to use the
CS library for six months. If I can think of some other way to protest,
I'll do that also.
∂18-Oct-83 2256 JMC
To: faculty@SU-SCORE
CC: library@SU-SCORE
Further idea. When we get a building let's plan for a separate CS
library and make sure we get librarians who support a policy of
keeping keys available.
∂18-Oct-83 2351 JMC The Harry Llull Library
To: library@SU-SCORE
As far as I am concerned it is your library now. I plan to avoid using
it at all for the next six months, and I will advocate the Computer
Science Department getting its own library when and if this becomes
feasible.
∂18-Oct-83 2359 JMC
To: golub@SU-SCORE
Gene: The bulletin board message announcing the new policy says that
a majority in each department favor it. I have missed quite a few
meetings, but your message protesting the policy suggests that our
department didn't vote for it. Otherwise, your protest would properly
be directed also at the department.
∂19-Oct-83 0933 JMC
To: faculty@SU-SCORE
CC: library@SU-SCORE
As far as I can see, the latest message
from the Harry Llull Library is a mere advertisement
proposing an expansion of the empire
and an obfuscation. It is what we usually get
when bureaucracies feel nervous. It in no way addresses
the matter of keys which is the only issue I raised and
about which there is probably little new that can be said.
I still think we should plan a Computer Science Library in
our new building whenever that becomes a real possibility.
∂19-Oct-83 1224 JMC
To: DFH
I have my tickets.
Wed. 19 Oct 20:00 Midsummer
10-20 or 21, utexas centennial. I must choose topic.
10/20 SFO/Austin Delta 200 3:25/9:55pm
Sat 10/22 Austin/Dallas AA672 1:10pm/2:00pm
Dallas/Chicago AA360 2:51pm/4:59pm
Chicago/Champaigne RU725 6:25pm/7:15pm
Mon 10/24 Champaigne/Chicago RU 758 5:05pm/5:55pm
Chicago/SFO UA 135 6:40pm/9:00pm
10-21 Friday -- meet carpool at 8:10am front of Hyatt to go to conference.
10:15, Some Expert Systems Require Common Sense
23 and 24 Sunday and Monday, U. Ill.
U. of Ill., $500 per day+exp. two days,
expert systems need common sense,
non-technical talk followed by technical elaborations
abstract
Judith Jennings 217 333-6138
seminar on early pm 24th
10-25 Tue-Mon leave for Korea -- tentative flight schedule:
10/26 SFO/LA United 1225 10:30am/11:40am
LA/Seoul KAL 11 2:00pm/6:40pm next day
10/28 your presentation
10/31 Seoul/Tokyo Pan Am 800 2:30 pm/4:25pm
Tokyo/SFO Pan Am 12 6:45pm/10:30am same day
10-28 and 10-29, Korean Computer Science Society, 10th annual conf.
Fri and Sat., 60 to 90 minutes, historical review,
+ hope for future, research seminar on Monday.
$750+exp inc. business class
Dr. Kim:(813)974-4184 ofc.,985-5597 home
10-31 Monday, 9am-4. 600 Pennsylvania Ave. SE, Washington.
OTA workshop on AI. They pay expenses.
11-01 Tue Tenured Faculty Meeting, 2:30 pm, room 252 MJH
4:15 Hayek lecture, Stauffer aud., "The origins and effects
of our ethics: A problem of science.
11-02 Wednesday 10:00 am. 252 MJH, on-line library
11-04 Fri 2:30 pm Henry Stadler, JPL, 213-354-3556 (also will visit Prof.
Bryson that a.m., 497-4755)
11-07 Mon. 2 pm Vistnes AI Qual with Lenat and Buchanan
212 866-5797, Otsuka of Science Asahi, Miss Baba, 11am, Wed
11-09 Wed 10:30 CIS panel on future software, Ullman and Meindl
e83.in[let,jmc]/282p
Conflict with Baba appt?
11-10 Thurs. Dinner with Alex Jacobson, Chuck Williamson
(Toni Thornburg or Sandra Core, 213-417-7997 to change)
11-15 Tuesday 2:30pm (note the earlier time). --kk
11-16 wed iii board
11-22 Tues. Talk at seminar on History and Philosophy of Brain Function
4:30-5:30pm, Fairchild D-202, Tina Seelig 7-6455
Thu. 1 Dec 20:00 Duchesse
12-06 Tenured Faculty Meeting, 2:30 pm, room 252 MJH
Thu. 8 Dec 19:30 Boris
∂19-Oct-83 1224 JMC
To: DFH
I have my tickets.
∂20-Oct-83 0946 JMC mailing lists
To: dkanerva@SRI-AI
I prefer to receive mail sent to lists as JMC-LISTS@SU-AI rather than as
JMC@SU-AI. I suppose I'm on a variety of CSLI lists. Could you arrange
for the change?
∂20-Oct-83 1045 JMC
To: pack@SU-SCORE
Please note that the example carrying out the circumscription in the
case of birds flying isn't finished yet. I was undecided about
whether I needed distinctness of aspects (I do) and what was the
best way to axiomatize it. The discussion of uniqueness of aspects
was written later. I wish you success in formalizing towers as
objects. I don't have a good solution in mind yet.
∂25-Oct-83 0028 JMC
To: ARK
CC: ME
To use NS for income would violate our agreements with AP and NYT.
∂25-Oct-83 0028 JMC
To: bosack@SU-SCORE
To use NS for income would violate our agreements with AP and NYT.
∂25-Oct-83 0029 JMC LISP 1980 Conference
To: DFH
∂21-Oct-83 0950 @SU-SCORE.ARPA:GEORGEFF@SRI-AI.ARPA LISP 1980 Conference
Received: from SU-SCORE by SU-AI with TCP/SMTP; 21 Oct 83 09:50:25 PDT
Received: from SRI-AI.ARPA by SU-SCORE.ARPA with TCP; Fri 21 Oct 83 09:52:17-PDT
Date: Fri 21 Oct 83 09:54:06-PDT
From: Michael Georgeff <georgeff@SRI-AI.ARPA>
Subject: LISP 1980 Conference
To: MCCarthy@SU-SCORE.ARPA
Dear John,
I am trying to trace a paper by McDermott entitled "An Efficient Environment
Allocation Scheme ..." given at the 1980 LISP conference. Unfortunately,
no one around here has a copy. Do you have a copy of the proceedings, or
of Drew's paper?
Thanks,
Michael Georgeff.
-------
∂25-Oct-83 1107 JMC
To: bosack@SU-SCORE
We don't "qualify for a lower rate" according to some algorithm. We have
a specific agreement for the experimental use of the news wires.
Incidentally, the lower rate is lower by a factor of tens.
∂25-Oct-83 1304 JMC library keys
To: golub@SU-SCORE
According to Jack Herriott, you, as chairman of one of the departments,
have a veto over the no keys policy. I urge you to exercise it, or at
least postpone assenting to the policy until I get back next Monday, and
we can discuss it.
∂25-Oct-83 1654 JMC visit
To: bledsoe@UTEXAS-20, boyer@UTEXAS-20
CC: CLT@SU-AI
Carolyn and I would like to visit for a couple days, possibly
in December but more likely in January.
∂26-Oct-83 0211 JMC
To: TW
A COMMON BUSINESS COMMUNICATION LANGUAGE (CBCL)
The problem is to construct a standard language for computers
belonging to different businesses to exchange business communications.
For example, a program for preparing bids for made-to-order
personal computer systems might do a parts explosion and
then communicate with the sales programs of parts suppliers.
A typical message might inquire about the price and delivery
of 10,000 of a certain integrated circuit. Answers to such
inquiries and orders and confirmations should be expressable
in the same language. In a military version, a headquarters
program might inquire how many airplanes of a certain kind
were in operating condition.
It might seem that constructing such a language is merely
a grubby problem in standardization suitable for a committee of
businessmen. However, it turns out that the problem actually
involves formalizing a substantial fragment of natural language.
What is wanted is the semantics of natural language, not the
syntax.
The lecture will cover the CBCL problem, examples of
what should be expressable, ideas for doing it and connections
of the problem to the semantics of natural language, mathematical
logic and non-monotonic reasoning.
∂26-Oct-83 0858 JMC
To: pack@SU-SCORE
The file circum.xgp[f83,jmc] has changes based on your suggestions.
∂31-Oct-83 1208 JMC
To: DFH
I'm back and will be in this afternoon.
∂01-Nov-83 0001 JMC Expired plan
To: JMC
Your plan has just expired. You might want to make a new one.
Here is the text of the old plan:
I will be mostly gone until Nov. 1 but will be back for one day each
twice during that time.
∂01-Nov-83 1902 JMC re: Security at the front door of MJH (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - Unless there are recent incidents, I see no basis for a renewed
security flap about keys to mjh or letting people in. When I said this
at the noon faculty meeting, someone mentioned purses being stolen, but
had no answer when it was pointed out that this only (so far as I know)
happens during the day. However, it is interesting that it came to mind.
∂01-Nov-83 2126 Mailer failed mail returned
To: JMC
In processing the following command:
MAIL "Tommy Ericson QZ"%oden.mailnet
The following message was unsent because of a command error:
------- Begin undelivered message: -------
∂01-Nov-83 2126 JMC
.mailnet
------- End undelivered message -------
∂01-Nov-83 2129 JMC
To: treitel@SUMEX-AIM
My opinion is that all those with SCORE accounts should be allowed in
after hours to pick up output. If it is necessary to prevent them from
crowding local terminals after hours, this should be done some other way.
∂01-Nov-83 2212 Mailer failed mail returned
To: JMC
In processing the following command:
MAIL "Tommy Ericson QZ"%oden
The following message was unsent because of a command error:
------- Begin undelivered message: -------
∂01-Nov-83 2212 JMC
------- End undelivered message -------
∂01-Nov-83 2313 Mailer failed mail returned
To: JMC
In processing the following command:
MAIL "Tommy Ericson QZ"%oden Got your message.
The following message was unsent because of a command error:
------- Begin undelivered message: -------
∂01-Nov-83 2313 JMC
Got your message.
------- End undelivered message -------
∂02-Nov-83 1118 JMC
To: LGC
>Clark, Professor Keith, Dept. of Computing, Imperial College of Science and
* Technology, University of London, 180 Queen's Gate, London SW7 2BZ
* 01 589 5111. x2752 sec'y
∂02-Nov-83 2127 JMC send reprint
To: DFH
Please send a copy of my NY Academy paper to
Barbara Baylor
CBS News
524 West 57th ST.
New York, NY 10019.
∂03-Nov-83 0039 JMC
To: TOB
Vistnes qual is monday 2pm starting at my office.
∂03-Nov-83 0946 JMC next visit
To: llw@S1-A, pmf@S1-A
How about Monday the 14th or even tomorrow the 4th?
∂03-Nov-83 1825 JMC
To: aflb.all@SU-SCORE
False to Broder's problem. Clearly a counterexample requires at least 3
people, and we can do it with 3. Call them the Tin Woodman, Dorothy and
the Cowardly Lion. The Tin Woodman and Dorothy at each moment flip a coin
to determine which has 0 and which has 1. The Cowardly Lion
conservatively always has 0.5 and is never the richest.
∂04-Nov-83 0106 JMC
To: pack@SU-SCORE
How about today 1pm or any time after 3:30?
∂04-Nov-83 1140 JMC
To: DFH
neuhol.3
∂04-Nov-83 1524 JMC book
To: DFH
Please get me from the Bookstore (special order if necessary)
"The Architecture of Cognition" by John Anderson, Harvard University
Press. Charge my Bookstore account. I suggest phoning.
∂04-Nov-83 2216 JMC
To: geoff@SRI-CSL
To the TTY of Geoffrey Goodfellow:
jmc - They are called oxymorons. The National Review has been publishing
them for about the last year; naturally theirs have a conservative
orientation. The American Spectator has a column called "The Continuing
Crisis".
∂05-Nov-83 1211 JMC
To: almog@SRI-AI
83.12.6 is not feasible because of a faculty meeting. A week later
or earlier would be ok. I have been unavailable because of travelling
in October, but now I have time. How about next Monday, Tuesday or
Wednesday at 11?
∂05-Nov-83 1448 JMC
To: su-bboards@SU-AI
n057 1424 05 Nov 83
BC-GRENADA-POLL Undated
By ADAM CLYMER
c.1983 N.Y. Times News Service
An overwhelming majority of the people of Grenada welcomed the
United States invasion of their island, according to a poll conducted
Thursday by CBS News. They felt that American troops had come to free
them from the Cubans and prevent the construction of a military base.
The poll showed that a smaller but solid majority said they had felt
in danger under the government of Gen. Hudson Austin, who seized
power last month. Another solid majority said they believed that
Cubans were building the island's new airport for Cuban and Soviet
military purposes, not for economic development or tourism.
The poll of 304 people was conducted by 15 Grenadian interviewers,
in 30 sectors of the island. Each interviewer read questions to and
took down answers from about 20 people, saying he or she was
conducting a ''public opinion poll'' but not saying who was
sponsoring the survey.
Warren J. Mitofsky, director of the Election and Survey Unit for CBS
News, supervised the polling. He said Saturday in a telephone
interview from Barbados, ''While a poll of this sort carries a margin
of error higher than that of a standard probability sample, we are
very confident of the thrust of our findings as a measurement of
Grenadian opinion.'' In a standard probability sample, the margin of
error for a survey of this size would be plus or minus 6 percentage
points.
Ninety-one percent of those polled said they were ''glad the United
States troops came to Grenada,'' while only 8 percent said they
wished they had never come. A similar majority of 85 percent said
they felt they or their family were in danger while Austin was in
power, while 11 percent said they were not.
When asked about how they felt under Austin's predecessor, Maurice
Bishop, 33 percent said they believed they were in danger then, while
48 percent said they were not.
The Grenadians' attitudes toward the Cubans were strongly hostile.
Seventy-six percent said they believed Cuba wanted to take control of
the Grenadian government, and 65 percent said they believed the
airport was being built for Cuban and Soviet military purposes. Only
17 percent said they had seen Cubans carrying weapons before the
Americans arrived.
The attitudes toward Austin and the Cubans appeared to carry over
into a warm welcome for the American troops, the CBS News Poll
showed. Eighty-five percent said they felt the American purpose in
invading was to ''free the people of Grenada from the Cubans,'' and
81 percent said American troops were ''courteous and considerate.''
A smaller share of those interviewed, 62 percent, said they felt the
American troops had come ''to save the lives of Americans living
here.'' But only 21 percent said they believed that the troops had
been sent ''for the United States' own military purposes rather than
to help the people of Grenada.''
nyt-11-05-83 1721est
***************
∂05-Nov-83 2210 JMC illegibility of superscript dots and quotes
To: briansmith@PARC-MAXC
The copy I have of your draft on "Reflection and semantics ... "
is so light that the above are hard to make out. I recommend
that PARC threaten to switch copier suppliers.
∂05-Nov-83 2344 JMC
To: pmf@S1-A
I'll be there on Friday 18th and hope we can talk about parallelism.
∂05-Nov-83 2357 JMC
To: RPG
The files here in ess,jmc now have different names from any at s1.
∂06-Nov-83 0033 JMC
To: RPG
Thanks a lot.
∂06-Nov-83 1204 JMC re: Computer crime (medium long flame) (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - I believe there is a legal distinction between recording your
own phone usage (oral or digital) and tapping someone else's phone.
Much more in the way of court orders is required for the latter,
and the former was restricted only within the last fifteen years.
I am still dubious about the correctness of the legal requirement
for a beeper, and many people ignore it. For example, journalists
who phone me often ask permission to record the conversation, and
they don't have beepers.
Besides tapping Stanford computers, done locally, it is stated in
one of the news stories that the UCLA people recorded message
traffic from the terminals in question. This is presumably a legal
gray area. It took specific laws to regulate what the telephone
company could do, and the UCLA computers are not common carriers, i.e.
usable by anyone who pays a tariff. As to the morality of doing it,
it seems to me that it was ok provided they didn't go beyond what
was required to get the evidence they needed.
As to the FBI confiscating the terminals, this is presumably in
accordance with the common law privilege of the police to take
material evidence. If they are not convicted the equipment will
have to be returned, but it sometimes takes a long time. By the
way, evidence can be seized not merely from suspects but from
anyone, and innocent bystanders are often inconvenienced by this.
∂06-Nov-83 1311 JMC forensic computer science
To: reid@SU-GLACIER
Concerning confiscating the terminals, it occurs to me that a terminal
probably has a characteristic analog signature, because the frequencies
do not have exactly their nominal values, and the amplitudes of the
frequencies are not exactly equal. Therefore, if one records the
analog signal coming into one's abused computer, one has evidence
provided the call was directly from the terminal over the analog
phone system and not from a packet switched network.
∂06-Nov-83 1413 JMC
To: reid@SU-GLACIER, REG@SU-AI, bosack@SU-SCORE,
broder@SU-SCORE
signat[f83,jmc] Computer terminals have analog signatures
A statement in a news story about the FBI confiscating
the terminal of a UCLA student who was breaking into computer
systems and committing sabotage led to the following idea.
A computer terminal transmits by keying between two
frequencies. These frequencies are maintained exactly and
neither is the timing of switching or the relative amplitudes.
Therefore, an analog recording of a terminal session can
identify the terminal as long as the signal hasn't yet passed
through a digitization stage such as those used in packet
switched networks.
If the interloper situation proves bad enough to warrant
it, TIPs and TACs could be provide with analog tape recorders
that could be switched on from the network headquarters when
a computer detected attempts to try large numbers of passwords
and complained. Requests for monitoring could also be made
manually from the computer under attack.
Reasonable privacy can be assured by requiring a request
from the computer being accessed before monitoring can take place.
Since the information is going to that computer anyway, the only
additional information the monitoring gives is the analog signature
of the terminal.
Naturally, the ARPAnet shouldn't install a lot of monitoring
equipment unless there is a continued problem of damage by
unauthorized access of sufficient magnitude to warrant it.
John McCarthy
Stanford University
1983 November 6
∂06-Nov-83 2220 JMC re: they got one of the cretins! (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - SAIL counts characters typed (not keeping track of who typed them)
and the number typed by all users is about 50,000 per hour in busy hours.
Since there are about 8,000 hours per year, that's 400 megabytes per year.
But probably SAIL averages less than half that over the year. Therefore,
we don't have to add disk at a very high rate to keep all characters
typed, and new technology is not required. So you can have your fantasy
now.
∂07-Nov-83 1027 JMC
To: hans.berliner@CMU-CS-A
Hans,
I agree in the main with what you said in your message and suggest
you put it in a letter to the AI Magazine. Part of what you describe,
however, amounts to computer chess becoming a professional sport rather than
an amateur sport. The criticism you about being more interested in
inventing than applying is applicable to me, but I can't help it.
As you know I have supported chess as an AI domain, although I wasn't
as much help to Dave Wilkins as I had hoped to be.
What would you think of a one class computer chess tournament, e.g. IBM PC
or VAX/750? The idea would be to pick the best widely available computer
and force the competitors to concentrate on programming. I would put no
restriction on amount of memory, because progress will come from
elaboration.
Perhaps even better than a letter would be an article on chess as an
AI domain, spelling out in detail your contention that chess is a good
bet for reaching human levels of intellectual performance first.
∂07-Nov-83 1844 JMC
To: YOM@SU-AI
CC: i.ikabod9@LOTS-A
Please arrange to give Helene Taran the midterm before class then, since
I want to talk about it in class. Also please be prepared to talk about
the problems you graded. I expect to be done with my grading in time to
leave them for you late tonight or tomorrow morning.
∂07-Nov-83 2059 JMC
To: YOM
i.ikabod9 doesn't exist at lotsa and neither does i.ikabod
∂08-Nov-83 1251 JMC Stoyan lecture at LISP conference
To: boyer@UTEXAS-20
Herbert Stoyan of the Computer Science Department,
University of Erlangen, West Germany should be invitied
to lecture on the history of LISP at the next conference.
He started this work in East Germany, and has continued
it after he emigrated to West Germany. He can probably
make it even if expenses cannot be paid, but his chances
of getting the money are better if he gets the invitation
as soon as possible. I have just retrieved a notebook
with a memo to write you about this. If I did it previously,
I apologize.
∂08-Nov-83 1555 JMC
To: restivo@SU-SCORE
What do you have mind?
I'm always interested in what hardware and software are available,
but the Formal Reasoning Group isn't using Prolog at all at
present. Some of us, including me, have written Prolog programs
in order to understand it better.
∂08-Nov-83 1726 JMC
To: restivo@SU-SCORE
I guess you better include me out for the time being.
∂08-Nov-83 1926 JMC
To: DFH
shapir.re2
∂08-Nov-83 2145 JMC
To: ullman@SU-SCORE
Where is the CIS panel?
∂09-Nov-83 1321 JMC
To: stan@SRI-AI
I will help turn the retreat into a rout.
∂09-Nov-83 1330 JMC
To: raj.reddy@CMU-CS-A
My only suggestion is that they get a local manager for the project. I can
possibly visit in December or January.
∂09-Nov-83 1636 JMC Testing connection from University of Stockholm
To: ME
I was unsuccessful in replying to this message. Can you tell me how?
∂01-Nov-83 2047 @MIT-MULTICS.ARPA:"Tommy Ericson QZ"@ODEN.MAILNET Testing connection from University of Stockholm
Received: from MIT-MULTICS by SU-AI with TCP/SMTP; 1 Nov 83 20:47:31 PST
Received: from ODEN.MAILNET by MIT-MULTICS.ARPA with Mailnet id <2614034561192914@MIT-MULTICS.ARPA>; 01 Nov 1983 19:42:41 est
Date: 29-Oct-83 00:08-+0100
From: "Tommy Ericson QZ"@ODEN.MAILNET
Reply-to: "Tommy Ericson QZ"@ODEN.MAILNET
To: JMC@SU-AI.ARPA
Subject: Testing connection from University of Stockholm
Message-ID: <28377 @ QZCOM>
Hello, I hope that this message reaches you. If you would kindly
reply if this is received to confirm that our gateway is working.
Thank you in advance!
Tommy Ericson,
Stockholm University Computing Center.
(Text 28377)------------------------------
∂09-Nov-83 1644 JMC Marr quote
To: berwick.bradford%mit-oz@MIT-MC
What is the precise reference for "What higher nervous systems must do ..."
∂09-Nov-83 1711 JMC Acknowledgement
To: Tommy Ericson QZ@ODEN.MAILNET@MIT-MULTICS
Here's another try at acknowledging your Oct 29 message received Nov 1.
My first tries were rejected by our mailer.
∂09-Nov-83 2224 JMC
To: DBL@SU-AI
Thurs. Dinner with Alex Jacobson, Chuck Williamson. 6:15 Alouette
∂10-Nov-83 1116 JMC
To: konolige@SRI-AI
170 it is.
∂10-Nov-83 1118 JMC
To: CLT
I forgot that I have a dinner tonight with people from Inference.
∂10-Nov-83 1119 JMC
To: aaai-office@SU-SCORE
It turns out that I can't make Friday the 18th. Pls call me or Diana.
∂10-Nov-83 1125 JMC
To: aaai-office@SUMEX-AIM
It turns out that I can't make Friday the 18th. Pls call me or Diana.
∂11-Nov-83 0151 JMC
To: HST
Sorry, I have too many messages to answer, and this one evidently
got lost. Could you say again what you have in mind? I kept
forgetting to check with the document person, but I'll do it
today. I am trying to make sure that you are invited to give
a historical paper at the LISP conference in Austin, Texas
next August. Would you need transportatin money or would your
university or some other German source pay for it?
∂11-Nov-83 0152 JMC Stoyan
To: DFH
He is still complaining that the document librarian in CSD is sending
report announcements to East Germany rather than to his present
address in Erlangen, West Germany. The correct address is in my
PHON file. Anyway he's not getting the announcements.
∂11-Nov-83 0211 JMC
To: DFH
Please put her on the list for the my next paper on circumscription.
Mary-Angela Papalaskaris
Dept. of Artificial Intelligence
Edinburgh University
Hope Park Square
Edinburgh EH89NW
Scotland
∂11-Nov-83 1213 JMC
To: sap@SU-SHASTA
All my tests confirm that it is really Friday.
∂11-Nov-83 1716 JMC addresses
To: Tommy Ericson QZ@ODEN.MAILNET@MIT-MULTICS
I don't know the address of your local Postmaster. Would it be
"Postmaster QZ@ODEN.MAILNET"%mit-multics? Anyway I would like the addresses
of Kenneth Kahn and Sten-Ake Tarnlund.
∂12-Nov-83 1058 JMC
To: HST
Do you know this Alfred Zehe, who was arrested as a spy in Boston?
∂12-Nov-83 1502 JMC prediction of doom (or rather irrelevance)
To: stan@SRI-AI, JRP@SU-AI, bmoore@SRI-AI, almog@SRI-AI
I was quite disappointed with Friday's retreat, because I fear that
there is too little interest in the more detailed problems
relevant to AI. The discussion of general doctrine is likely
to be sterile without it. While I only looked at Stich's book
for a minute, it seems to me that concentrating the seminar's
work on a negative contention will not be productive. If Stich
includes positive proposals, it will be different.
∂12-Nov-83 1726 JMC paper
To: DFH
Please pub a copy of safety[f82,jmc] and remind me to dictate a letter
to Professer Bernard Cohen, Department of Physics, University of Pittsburgh
about it.
∂13-Nov-83 0245 JMC
To: stan@SRI-AI, jrp@SRI-AI, bmoore@SRI-AI, almog@SRI-AI
I think I need to offer an excuse for having expressed my disappointment
about the direction the "retreat" is taking. I have never done such a
thing before, and I realize that there is no reason why a seminar should
go in the direction that any one participant prefers. However, for the
reasons I expressed, I believe that a connection between AI and philosophy
will not really be made if we continue this way. During the year
1979-80 at the Center for Advanced Study in the Behavioral Sciences,
the group on AI and philosophy took a similar path, and it was
my opinion at the time, and it remains my opinion, that it did not
succeed in maintaining a connection between what was discussed and AI.
This seemed to be more the fault of the AI people than of the
philosophers. I suppose most scientists find philosophical and
methodological discussion of their field congenial, but it usually
remains a mere distraction from work in it. However, I believe that
the benefits of interaction with philosophy for AI are potentially
large, and therefore I want to argue strongly for a more concrete
approach.
∂14-Nov-83 1343 JMC trip to France
To: reddy@CMU-CS-A, asbury@CMU-CS-A
It turns out that our Winter quarter doesn't start till January 9.
Therefore, I could spend the first week of January at the Centre Mondial
if that would be useful. Janet please pass this on to Raj while he's
there if convenient.
∂14-Nov-83 1702 JMC
To: aaai-office@SUMEX-AIM
I still think George Keyworth would be good to have with Frank Press as
an alternate. However, Keyworth declined because of a vacation which
might recur annually. I don't know whether Frank Press even replied.
My current suggestion is Bobby Inman. It would be worthwhile also to
arrange for a lunch for him with the executive committee. Then we can
interact with him concerning MCC's and its sponsors' interests in AI.
∂15-Nov-83 0216 JMC
To: YM
I will, alas, be in L.A. at the time of the Computer Facilities town meeting.
I would like to be informed of the main issues raised.
∂15-Nov-83 1011 JMC
To: LB@SU-AI
Please apologize for my not being at CSD-CF town meeting. I'll be in L.A.
∂15-Nov-83 1157 JMC
To: DEK
I think the committee is big enough. More and we won't find meeting times.
∂15-Nov-83 1710 JMC
To: DFH
The same flights would be possible, but it would suit me better to leave
after 9:30 and return as soon after 3:30 as possible.
∂15-Nov-83 2323 JMC
To: mailer@SU-HNV
add knowledge
∂15-Nov-83 2327 JMC
To: almog@SRI-AI
Let's arrange it by phone Thursday.
∂15-Nov-83 2330 JMC defining subst
To: JK
I want to ask my students to prove
∀x y z.subst(x,y,subst(x,y,z)) = subst(subst(x,y,x),y,z),
but EKL balks at my efforts to DEFINE subst. The debris is in
SUBST[F83,JMC].
∂16-Nov-83 0024 JMC
To: JK
page 3 contains unsuccessful attempts to prove it after using defax.
∂16-Nov-83 0117 JMC
To: DFH
Please xs circum.abs[f83,jmc] and send it Rohit Parikh (see phon).
∂16-Nov-83 2342 JMC limitations of logic
To: phil-sci%oz@MIT-MC
I will argue that lots of axiomatizations (note spelling) are consistent.
So far as I know, the statement that they are inconsistent is entirely
unsupported. I assert, however, that axiomatizations of common sense
domains will require non-monotonic reasoning to be strong enough, and
this may be confused with inconsistency by the naive. Domains of
scientific physics will not require non-monotonic reasoning, because
they aspire to a completeness not realizable with common sense domains.
Hewitt, et. al., probably have a potentially useful intuition, but unless they
make the effort to make it as precise as possible, this potential will
not be realized. Of course, I didn't hear Hewitt's lecture, but I did
read the "Scientific Community Metaphor" paper and didn't agree with
anything. Indeed I didn't find the paper coherent, but then I don't
think metaphors should be offered as arguments; at most they are hints.
My remark about non-monotonic reasoning being needed for formalizing
common sense is similar to DAM's remark about the need for making
closed world assumptions and taking them back. Circumscription generalizes
the usual ways of doing this. Incidentally, I now realize that I would
have found it more interesting to debate about the usefulness of logic
with Carl rather than with Roger Schank, who changed his mind about whether
he was willing to debate this subject. Perhaps at M.I.T. some time if
Carl is willing.
∂16-Nov-83 2343 JMC ignorance
To: YOM@SU-AI
CC: konolige@SRI-AI
Sorry I missed your seminar, but I had to be in L.A. Carolyn told me that
you said that Kurt had formalized the wise man problem. Only the easy
version where it is given that the first and second wise men don't know
the colors of their spots. I did that almost 20 years ago with my modal
logic formalization. So far as I know, my formalization that uses
explicit possible worlds is the only formalization in which the non-knowledge
can be proved, and my and Ma's formalization using explicit possible worlds
is the only one that can do the S and P problem.
∂16-Nov-83 2357 JMC ignorance
To: YOM
The simplest way to describe the non-simple version is to suppose
that the king asks his question to them all together. Thus the king
asks "Do you know the color of your spot?" three times. The hard problem is
to prove that the first two times they all answer "no", and the third
time they all answer "yes".
The easy problem is to prove that they answer yes the third time
assuming that they answer no the first two times.
∂17-Nov-83 0059 JMC
To: YOM
Fine, but you may want to look at my solutions - or have you?
∂17-Nov-83 0005 YOM ignorance
In that case I'm willing to contract both problems to be delivered
by the end of winter quarter.
∂17-Nov-83 0100 JMC
To: YOM
Fine, but you may want to look at my solutions - or have you? I'm
not sure this got to you, because of a mailing error.
∂17-Nov-83 0108 JMC
To: JK
Thanks and sorry for bothering you with something I might have figured
out for myself except that I'm in a bit of a hurry to understand it
ahead of my class. We need more general ways of defining functions.
The first should, like Boyer and Moore, use a well-founded partial
ordering and a rank function. This should be straightforward. The
second is a definition principle that will allow defining functions
that don't necessarily terminate. Carolyn knows how to do this without
the full apparatus of Scott orderings, continuity, etc.
∂17-Nov-83 1114 JMC
To: stan@SRI-AI
I didn't know about this at all. I'd have to think what paper to select
and would prefer to select something other than my own. At first thought,
perhaps I'd choose a couple chapters of Lincos by Hans Freudenthal.
∂17-Nov-83 1126 JMC problem for class
To: YOM
Please pick up "Improving a program for stacking blocks" from the xgp
and make copies for the class today.
The source is block2.lsp[f83,jmc] and the xgp file is block2.xgp in case
there is a problem.
∂17-Nov-83 1556 JMC
To: aaai-office@SUMEX-AIM
1. The fellowships should be awarded to individuals, and they should
make the arrangements for place of tenure.
2. If we can afford it, there should be one two year fellowship awarded
each year.
3. What you say about costs seems reasonable to me. The stipend should
be one of the better ones.
4. We should abbreviate the administration to the point where we don't
spend more than $5,000 per year administering it.
5. You should make a report to the Executive Committee with your facts
and my comments.
∂17-Nov-83 1650 JMC finding the room
To: jf@SU-SCORE
∂17-Nov-83 1421 JF@SU-SCORE.ARPA finding the room
Received: from SU-SCORE by SU-AI with TCP/SMTP; 17 Nov 83 14:21:28 PST
Date: Thu 17 Nov 83 14:16:01-PST
From: Joan Feigenbaum <JF@SU-SCORE.ARPA>
Subject: finding the room
To: bats@SU-SCORE.ARPA
in order to find the LGI once you get to CERAS, walk in on the ground floor,
then go downstairs. walk past a group of LOTS computer terminals and the
room will be on your left. it is a large auditorium and says "large group
instruction" on it. there is no smoking, eating or drining allowed in the
auditorium. lunch will be delivered to the lobby outside; but i am hoping
that the weather will permit our taking it outside.
see you all monday,
joan
-------
I am puzzled why this message is sent to me. Also I'm puzzled by the
directions. If you come from this end of the campus, you're already
downstairs and LGI is immediately on the right.
∂18-Nov-83 1129 JMC
To: bsott@SU-SCORE
Bruce Buchanan negotiated the deal. Please talk to him before doing anything.
∂18-Nov-83 1712 JMC
To: bscott@SU-SCORE
Betty, I apologize for the misprint.
∂18-Nov-83 1329 Mailer failed mail returned
The following message was undeliverable to recipient(s):
bsott@SU-SCORE
The remote host gave this response:
No such local mailbox as "bsott", recipient rejected
------- Begin undelivered message: -------
∂18-Nov-83 1129 JMC
To: bsott@SU-SCORE
Bruce Buchanan negotiated the deal. Please talk to him before doing anything.
------- End undelivered message -------
∂18-Nov-83 1719 JMC
To: brachman@SRI-KL
I have no objection to Lederberg or Lucas, but also no special reason
to believe that they would be very informative. My motivation for
recommending Inman for something is to smoke out what this collective
of computer manufacturers has to say to an AI audience. I don't think
even being the keynote speaker would give MCC an unfair advantage.
∂19-Nov-83 0023 JMC
To: llw@S1-A
I had a concert to go to in San Francisco, which is why I deviated from
my usual custom. There's a message for you with a further note on
parallel LISP on Paula's desk. No doubt she'll get it to you. They
asked me to do the security forms again which I did. I hope it means
they intend to proceed with the clearance procedures this time.
∂19-Nov-83 0057 JMC
To: CLT
Susie is at the Ramey's 408 722-1207 if you want to call. Else when I return.
∂19-Nov-83 2008 JMC
To: nilsson@SRI-AI
11-23 Wed, noon, lunch with Nils Nilsson, Pear Williams
∂19-Nov-83 2341 JMC
To: laws@SRI-AI
reprinting mine ok
∂20-Nov-83 0007 JMC
To: RPG
Thanks for the modernization. I trust it's ok to show it to
CS206. However, while the modernization makes the data structure
abstract and hence easily modifiable, the algorithm is no more readily
modified than mine. Notice, for example, block3.lsp[f83,jmc] which is
modified to place a block in final position instead of on the table.
Both your program and mine require adding the desired structure as an argument
to MOVE and CLEAR. Moreover, in neither case is it clear what to do if we
decide to make moves opportunistically rather than simply indexing
through the towers of the structure. I hope to have something more
flexible soon.
∂20-Nov-83 1236 JMC invoice to Inference
To: DFH
Attn: Chuck Williams
Technical consultation, one day $500
air fare, SJ -LAX round trip $168 (good heavens)
parking San Jose $6
round trip to airport
See new address in PHON.
∂20-Nov-83 1724 JMC
To: CLT
Pls phone when you return.
∂20-Nov-83 1736 JMC knowledge seminar
To: MYV@SU-AI
I would like to talk in the knowledge seminar.
Title: Formalizations of knowledge and non-knowledge.
∂21-Nov-83 1043 JMC
To: wong@SU-SCORE
OK. Come and see me when you are ready to work on it again.
∂21-Nov-83 2321 JMC
To: LEP
I have some Lisp programs for block stacking that aren't sophisticated
but are satisfactorily fast. How about 3pm tomorrow (Tuesday)?
∂22-Nov-83 1546 JMC
To: JJW
1. It is suitable as a thesis topic. I would consider narrowing it so
as to not necessarily include writing a compiler and broadening it so
as to include more forms of parallelism. Pay attention to queue based
parallelism in general and RPG's qlambda in particular.
2. There is undoubtedly relevant work. I suggest you begin your literature
search by talking to Eric Gilbert, who has had the problem of locating
material in this area.
∂24-Nov-83 1827 JMC suggest renaming FOL
To: RWW
I suggest you rename FOL, since the term is in general use as an abbreviation
for first order logic.
∂24-Nov-83 1931 JMC Re: reasoning about inconsistency
To: RWW
∂24-Nov-83 1809 @MIT-MC:perlis%umcp-cs@CSNET-CIC Re: reasoning about inconsistency
Received: from MIT-MC by SU-AI with TCP/SMTP; 24 Nov 83 18:09:47 PST
Received: from MIT-MC by MIT-OZ via Chaosnet; 24 Nov 83 21:06-EST
Received: From Csnet-Cic.arpa by UDel-Relay via smtp; 24 Nov 83 21:02 EST
Date: 24 Nov 83 20:27:41 EST (Thu)
From: Don Perlis <perlis%umcp-cs@csnet-cic.arpa>
Return-Path: <perlis%umcp-cs@CSNet-Relay>
Subject: Re: reasoning about inconsistency
To: MONTALVO%MIT-OZ%mit-mc.arpa@udel-relay.arpa,
phil-sci%MIT-OZ%mit-mc.arpa@udel-relay.arpa,
jerryb%MIT-OZ%mit-mc.arpa@udel-relay.arpa,
KDF%MIT-OZ%mit-mc.arpa@udel-relay.arpa
Cc: MONTALVO%MIT-OZ%mit-mc.arpa@udel-relay.arpa
Via: UMCP-CS; 24 Nov 83 20:32-EST
From: JERRYB@MIT-OZ
The Viewpoint mechanism in Omega solves this problem by
placing theories in viewpoints and allowing one to have a
logical theory in viewpoint A about the structure of the
(possibly contradictory) logical theory in viewpoint B.
Thus reasoned analysis of logical contradictions can be
performed.
From: KDF@MIT-OZ
I'm sure the viewpoint mechanism in Omega is
sufficiently powerful to allow the kind of meta-reasoning
that you allude to, but has anyone actually done it? If
so, how different are the details from the FOL approach?
From: MONTALVO%MIT-OZ%mit-mc.arpa@UDel-Relay
Yes, John Lamping has implemented such an example in FOL, the
MasterMind example in IJCAI-83. As far as I've been able to ferret
out, from talking to both Richard Weyhrauch and Carl Hewitt, the only
real difference between the viewpoint mechanism in Omega and the
context mechanism in FOL (which some people may think is a detail) is
that symbol names in Omega are global, whereas in FOL they are
relative to a context. This may have some consequence in an
application where you want to have the same symbol refer to two
different things depending on context.
In fact, it is not necessary to go to either OMEGA or FOL (Wehyrauch's
system) to reason about inconsistency. A one-tiered system such as
ordinary first-order logic is sufficient. (It is unfortunate that
'FOL' is used for both Wehyrauch's system and any old first-order
system.) All that is needed is to be careful about passing from a
formula's expression as object (mention) to its expression as assertion
(use), so that self-referential paradox is not encountered in assertion
mode.
∂25-Nov-83 0309 JMC
To: ME
How do I reply to this person? Here are three lines from the header.
∂21-Nov-83 2212 @MIT-MC:perlis%umcp-cs@CSNET-CIC Re: limitations of logic
From: Don Perlis <perlis%umcp-cs@CSNet-Relay>
Return-Path: <perlis%umcp-cs@CSNet-Relay>
∂25-Nov-83 1525 JMC
To: cheriton@SU-HNV
I have
Shapiro, Ehud Y.\A Subset of Concurrent Prolog and Its Interpreter\ICOT--Inst.
for New Generation Computer Technology TR-003\Jan. 1983.
∂26-Nov-83 1105 Mailer failed mail returned
To: JMC@SU-AI
In processing the following command:
MAIL @logic.dis/su
The following message was aborted because of a command error,
namely, nonexistent recipient(s):
KDF
------- Begin undelivered message: -------
∂26-Nov-83 1105 JMC logic.pro[f83,jmc] Proposal for logic in AI mailing list
To: "@LOGIC.DIS[F83,JMC]"@SU-AI
I find the phil-sci mailing list somewhat frustrating
because the discussants have too little in common and therefore
spend too much energy arguing. Therefore, I think it might be
worthwhile to have a much narrower list. It even might be
worthwhile to have an edited discussion. It would be much
more tolerant than a journal, but not every contribution would
be accepted by the editor who might use referees if he found
it necessary.
The subject matter would be logic in AI but would not
include Prolog programming, because there is already a discussion
list for that. Its center would be formalization of common
sense facts including naive physics and actions to achieve
goals. It would also include problem solving programs using
logic or logicoid (e.g. STRIPS-like) formalisms. Reason
maintenance would be included also. General considerations,
such as what kinds of formalization of reality are appropriate,
would be included, but the debate with GAVAN would be left for
phil-sci. When technical terms from logic, e.g. structure,
interpretation and model, are used, participants would be
expected to adhere to the usage standard in logic. For example,
a model of a collection of sentences is an interpretation in
which the sentences are true.
Do you have an interest in such a discussion? What topics
would you like to see included and excluded?
Should there be editing, and, if so, how should it be done?
------- End undelivered message -------
∂26-Nov-83 1109 JMC logic.pro[f83,jmc] Proposal for logic in AI mailing list
To: "@LOGIC.DIS[F83,JMC]"@SU-AI
(Because of mailer problem, this may be second copy).
I find the phil-sci mailing list somewhat frustrating
because the discussants have too little in common and therefore
spend too much energy arguing. Therefore, I think it might be
worthwhile to have a much narrower list. It even might be
worthwhile to have an edited discussion. It would be much
more tolerant than a journal, but not every contribution would
be accepted by the editor who might use referees if he found
it necessary.
The subject matter would be logic in AI but would not
include Prolog programming, because there is already a discussion
list for that. Its center would be formalization of common
sense facts including naive physics and actions to achieve
goals. It would also include problem solving programs using
logic or logicoid (e.g. STRIPS-like) formalisms. Reason
maintenance would be included also. General considerations,
such as what kinds of formalization of reality are appropriate,
would be included, but the debate with GAVAN would be left for
phil-sci. When technical terms from logic, e.g. structure,
interpretation and model, are used, participants would be
expected to adhere to the usage standard in logic. For example,
a model of a collection of sentences is an interpretation in
which the sentences are true.
Do you have an interest in such a discussion? What topics
would you like to see included and excluded?
Should there be editing, and, if so, how should it be done?
∂26-Nov-83 1149 JMC
To: reddy@CMU-CS-A
Are you back from France yet? FINGER no longer says.
∂26-Nov-83 1818 JMC
To: phil-sci%oz@MIT-MC
logic.pro[f83,jmc] Proposal for logic in AI mailing list
Here is the message to which DAM has already referred.
I find the phil-sci mailing list somewhat frustrating
because the discussants have too little in common and therefore
spend too much energy arguing. Therefore, I think it might be
worthwhile to have a much narrower list. It even might be
worthwhile to have an edited discussion. It would be much
more tolerant than a journal, but not every contribution would
be accepted by the editor who might use referees if he found
it necessary.
The subject matter would be logic in AI but would not
include Prolog programming, because there is already a discussion
list for that. Its center would be formalization of common
sense facts including naive physics and actions to achieve
goals. It would also include problem solving programs using
logic or logicoid (e.g. STRIPS-like) formalisms. Reason
maintenance would be included also. General considerations,
such as what kinds of formalization of reality are appropriate,
would be included, but the debate about whether reality is consistent
would be left for
phil-sci. When technical terms from logic, e.g. structure,
interpretation and model, are used, participants would be
expected to adhere to the usage standard in logic. For example,
a model of a collection of sentences is an interpretation in
which the sentences are true.
Do you have an interest in such a discussion? What topics
would you like to see included and excluded?
Should there be editing, and, if so, how should it be done?
∂27-Nov-83 1545 JMC
To: genesereth@SUMEX-AIM
How about lunch Monday or Wednesday?
∂28-Nov-83 1602 JMC
To: haken@SUMEX-AIM
Yes, I'd like a copy of your paper.
∂28-Nov-83 1701 JMC
To: LGC
Is 15 minutes ok?
∂28-Nov-83 2113 JMC re: Thanksgiving dinner survey (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - Re Sally Ahnger's survey on the hour of Thanksgiving dinner.
Did you have Stanford's permission for a survey involving human
subjects?
∂29-Nov-83 1747 JMC
To: SJG
I got the message twice, because you mailed it to me and also cc'ed me.
Many people cc themselves, but since you have an outgo.msg file, that
isn't necessary. The restaurant is the Normandie on University Ave.
Louis Lerman left some cash for you, and it's in Diana's office.
∂29-Nov-83 2219 JMC Stoyan
To: RPG
He is making a trip to the U.S. Do you think there is enough local interest
in the kind of thing he does to justify including Stanford in his
itinerary?
∂30-Nov-83 0010 JMC
To: golub@SU-SCORE
Town House Motel. We need a place for him to sit.
∂30-Nov-83 0045 JMC
To: golub@SU-SCORE
jmc - While IBM isn't as strong in computer science as its expenditures
over a long period should have made them, I think the contact is worthwhile,
and I will be glad to take part in the meeting. There are many interesting
people at Yorktown and some at San Jose.
∂30-Nov-83 1051 JMC logic in AI electronic journal
To: "@FOO.DIS[F83,JMC]"@SU-AI
I entirely agree with David's proposal especially emphasizing
logic-in-AI. I think there are quite a few additional people
who would want to join and who would make good contributions.
I'm looking forward to seeing the charter, and I vote for David
as editor. I think the editor should take full responsibility
and should use referees only in so far as he needs expertise
he doesn't have.
∂30-Nov-83 1211 JMC
To: bosack@SU-SCORE
How about putting one or two SAIL terminals in 225? There seems
to be a shortage of public SAIL terminals.
∂30-Nov-83 1326 Mailer failed mail returned
To: JMC
In processing the following command:
MAIL subboards
The following message was aborted because of a command error,
namely, nonexistent recipient(s):
subboards
------- Begin undelivered message: -------
∂30-Nov-83 1326 JMC
Can anyone give a citation for the following:
"Every day in every way I get better and better" or perhaps a
corrected version.
------- End undelivered message -------
∂30-Nov-83 1329 JMC
To: su-bboards@SU-AI
Can anyone give a citation for the following:
"Every day in every way I get better and better" and perhaps a
corrected version if that isn't correct?
∂30-Nov-83 1347 JMC
To: bosack@SU-SCORE
The Dover room would be ok provided there is no shortage of terminals,
but it's an impossible place for doing anything else than last minute
fixes. I have now a few people whose use of SAIL I am sponsoring but
who have trouble finding a public SAIL terminal. The only one's I
know about are the one near the 4th floor terrace and the one next
to the xgp. Therefore, I would recommend putting at least one in 225
which is presumably a reasonable place to work.
∂30-Nov-83 1517 JMC
To: worley@SU-SCORE
Thanks, it's older than that. It comes from some 19th century or
early 20th century positive thinker, but I have no idea how to find
it, since my Oxford Book of Quotations doesn't have it. I need it
to illustrate a heuristic, I'm proposing.
∂30-Nov-83 2006 JMC Coloring maps and the Kowalski doctrine
To: DFH
Please get or make about 10 more copies and give one to Matt.
∂30-Nov-83 2008 JMC
To: library@SU-SCORE
Harry,
Thanks for the reference.
∂30-Nov-83 2300 JMC source of quotation
To: su-bboards@SU-AI
Many thanks to several people who identified the quotations as
from the French hypnotist Emile Coue.
∂01-Dec-83 0110 JMC
To: tajnai@SU-SCORE
Carolyn Talcott is willing to speak about her thesis in the forum.
∂01-Dec-83 0953 JMC
To: RJW@SU-AI
It is probably even better to detect the symmetries in advance,
and this can probably be done systematically. Certainly it is
so in map coloring, gcd and the tower of Hanoi. It is harder if
the problem isn't stated in a symmetric way, but
has subproblems that can be stated in a symmetric way.
So far as I know, no-one has really studied symmetry in AI or
combinatorial computations.
∂01-Dec-83 2351 JMC logic-in-ai
To: dam%oz@MIT-MC
It looks good on the whole, but there are a few points I'll comment about
this weekend. One now. I suggest that the public domain clause be modified
to: The author explicitly allows electronic copying and the making of individual
printed copies. However, he may reserve the right to copyright the material
for normal print publication or to include the material in copyrighted works.
I don't feel strongly about this, but I think that the above permission is
sufficient for the uses of the material we might expect.
∂02-Dec-83 0210 JMC SF commentary
To: bboard@LOTS-A
%2The Lathe Of Heaven%1 by Ursula K. Le Guin, Avon 1971
It's a good story, well told, but I suppose the ideas
are meant to be taken seriously, and they aren't any good at all.
First of all, let's distinguish the ideas from the literary
devices. The story takes place in Portland, Oregon about the year
2010, and the protagonist is a man who changes the world retroactively
when he dreams and his antagonist is a psychiatrist who manipulates
the hero to change the world according to his essentially
benevolent but increasingly megalomaniac ideas. The idea of being
able to change the world retroactively by dreaming we shall charitably
call a literary device to show the different worlds rather than
a science fiction idea, because, as the latter, it is too implausible.
One common literary theme that gets a more interesting treatment
than usual is the question of whether a powerful tool can be used
to change the world for the better. On the whole the answer seems
to be yes even though what happens is never very close to what
the psychiatrist intends. The final world is less crowded and
has some rather interesting aliens, even though in getting to it,
a great plague is retroactively created that has wiped out most
of the population of the world. Even the fact that the psychiatrist
ends up in the nut house doesn't destroy this generally favorable
impression. But maybe this is just the theme of the cleansing
catastrophe as in Noah's flood.
The ideas that I want to take seriously are the alternate futures
that may occur, which are out of a Paul Ehrlich scenario, more or less.
All these futures show the United States as totally crowded. She doesn't
say what the population is, but it is certainly shown as much more crowded
than Holland today, which would give the U.S. a population of about 2.5
billion, whereas it is about 210 million now, and the largest projections
for the year 2010 would be about 320,000,000. I can't see any excuse for
this. Indeed the middle aged Americans of 2010 were already alive when
she wrote the story.
1982 February - Notes on "The Dispossessed"
This is much more plausible but still not very.
1. Annares is a kibbutz writ large, so kibbutz experience is relevant.
a. The desire for private housing would come out in 20 years or less
b. The desire for freedom from posting would come out soon.
c. There would be a tendency for a private economy to develop
offering services not otherwise available - such as money, i.e. savable
calls on goods and services. Money is almost certainly needed for
inter-enterprise dealings. Otherwise, how would an enterprise know
which services of other enterprises to use when alternate means of
achieving the same objective were available.
d. There would be a tendency for a bureaucracy with secret police
to develop.
e. When there is no money, allocations are made by politics, which
is far more corrupting. The stories about how Russian leaders at the time
of the revolution took no more salaries than workers and how workers brought
Lenin gifts of fruit, etc. describe the beginning of the system of special
stores for the Soviet elite.
2. A io confuses feudalism and capitalism. Why no rich socialists? Why
no unions?
3. Technological and scientific errors.
a. A world that can afford space transport of minerals can afford
air transport.
b. Planet wide drought is dubious.
c. The postulated arithmetic of resources is wrong quite apart from
technology. If a few centuries of opulence exhausted resources, the thousands
of years of frugality wouldn't be possible even with the resources of a moon,
which after all is smaller than the main planet.
Come to think of it, a planet that depended on its moon for survival
would hardly give it to people it considered crackpots.
∂02-Dec-83 1109 JMC termites
To: CLT
Tom Turney phoned to say that Terminix wants $450 more to do the job,
because they have to do it a different way. I told him, we'd call
him back today or Monday (408) 295-2968.
∂02-Dec-83 1904 JMC
To: CLT
block2.lsp[f83,jmc]
∂02-Dec-83 1905 JMC
To: CLT
ncount
∂02-Dec-83 2124 JMC
To: CLT
Call Martin
∂02-Dec-83 2146 JMC
To: golub@SU-SCORE
Yes on all 6.
∂02-Dec-83 2228 JMC
To: CLT
n505 2217 02 Dec 83
BC-NOISE-12-03
By Sam Kinch Jr.
(c) 1983 Dallas Morning News (Independent Press Service)
AUSTIN, Texas - Gov. Mark White says Texas' governor's mansion ''is
a wonderful place if you just didn't have to live there.''
White said Friday that downtown Austin, where the mansion is
situated, is so noisy at night that he has complained to city
officials.
White said his primary complaint was that Austin's street-cleaning
crews awakened him up as early as 4:30 a.m.
The street-sweeper equipment was bad enough, said White, but ''this
guy with an air-blowing device . . . just moving dirt and leaves and
trash from one place to another'' finally drove the governor over the
edge.
He said he was awakened by the noise, got dressed, went downstairs
to consult Department of Public Safety officers, then drove around
until he found the street-cleaner's supervisor about 5 a.m.
''That guy is starting at the other end of the street now'' and
doesn't reach the governor's mansion ''until a more reasonable
hour,'' White said.
White said other noise problems, which he hasn't solved, include:
- City police and fire vehicles whizzing by three sides of the
mansion at all hours to answer emergency calls.
- Vehicles crossing huge metal hole-covers on busy Lavaca Street,
night and day. Construction work is in progress on the street.
- Diesel-powered buses that began leaving the downtown Continental
Trailways terminal early in the morning.
''Why couldn't they (Continental) have gone on strike instead of
Greyhound?'' the governor asked.
White said he was investigating of sound-deadening alternatives,
including sound-absorbing curtains for the mansion's windows.
END
nyt-12-03-83 0110est
***************
∂03-Dec-83 1401 JMC
To: SJG
(1) I have it somewhere, but the library is your best bet. There is less to
it than meets the eye.
(2) The author is Barbara Huberman. (Her present name is Liskov, and she is
a professor at M.I.T., but she works on less interesting problems.) Again
try the library.
(3) Progs and gotos have their place, but Winston uses them too much. Part
of the problem is that Maclisp doesn't compile pure lisp efficiently.
(4) We should get together again before Wednesday. Send me a note saying
when you will be back from Oxford.
∂03-Dec-83 1659 JMC
To: trevor@SU-SCORE
jmc - Several biographies of Churchill have appeared recently. It all depends
on how much you want to read. ? Gilbert has written 1500 pages about
Churchill's activities during WWII, and this has received uniformly
excellent reviews. I think he's the official biographer. I happen to
like William Manchester's biography, although it got mixed reviews, but
it only takes it to 1932. Try recent issues of NY Review.
∂03-Dec-83 1659 JMC re: Winston Churchill --biography?? (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - Several biographies of Churchill have appeared recently. It all depends
on how much you want to read. ? Gilbert has written 1500 pages about
Churchill's activities during WWII, and this has received uniformly
excellent reviews. I think he's the official biographer. I happen to
like William Manchester's biography, although it got mixed reviews, but
it only takes it to 1932. Try recent issues of NY Review.
∂04-Dec-83 2335 JMC visit
To: HST
Carolyn, who is my wife, and I will arrange something involving
both my project and the company belonging to Richard Weyhrauch and
her. The details are uncertain, because she and I may go to Paris
early in January, but will be back before January 12. We don't
know yet whether and how long we'll be in Paris. Till when will
you be reachable by such messages, i.e. when are you leaving
Erlangen?
∂04-Dec-83 2335 JMC
To: CLT
Carolyn, who is my wife, and I will arrange something involving
both my project and the company belonging to Richard Weyhrauch and
her. The details are uncertain, because she and I may go to Paris
early in January, but will be back before January 12. We don't
know yet whether and how long we'll be in Paris. Till when will
you be reachable by such messages, i.e. when are you leaving
Erlangen?
∂04-Dec-83 2347 JMC vist
To: HST
CC: CLT
∂04-Dec-83 2343 HST visit
i leave erlangen on 2.januar.but spend 2 weeks in the wallis(alpen
mountains)therefore i'm reachable until 24.december.herbert
We'll make arrangements definite well before December 24 then.
∂05-Dec-83 1204 JMC
To: RPG
∂05-Dec-83 0847 RPG Capital Equipment
I got a message from Ohlander suggesting that he could possibly get the
Common Lisp project a 3600. Then we could use the money that would have bought
a third 3600 for us to upgrade the current ones with more memory.
What do you think?
-rpg-
I defer to your judgment on this, but it seems reasonable.
∂05-Dec-83 1353 JMC
To: DFH
doyle.re1
∂05-Dec-83 1741 JMC re: To the person with the red pencil and nasty temperament: (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - At one second per Dover page, 157 pages should take about two and a
half minutes, which doesn't seem terrible. Perhaps the rate of one second
per page is not achieved. What rate is achieved on a long file?
∂05-Dec-83 1745 JMC
To: ME
If it's our news service being copied, we are in violation of our agreements.
PKR - I think news service is also available at SRI, so you have your choice
of machines to try to get accounts on.
∂07-Dec-83 0109 Mailer failed mail returned
To: JMC@SU-AI
In processing the following command:
MAIL bach%sumex,subboards/su
The following message was aborted because of a command error,
namely, nonexistent recipient(s):
subboards
------- Begin undelivered message: -------
∂07-Dec-83 0109 JMC re: To the person with the red pencil and nasty temperament: (from SAIL's BBOARD)
To: bach@SUMEX-AIM
∂07-Dec-83 0008 BACH@SUMEX-AIM.ARPA re: To the person with the red pencil and nasty temperament: (from SAIL's BBOARD)
Received: from SUMEX-AIM by SU-AI with TCP/SMTP; 7 Dec 83 00:08:07 PST
Date: Wed 7 Dec 83 00:08:03-PST
From: Rene Bach <BACH@SUMEX-AIM.ARPA>
Subject: re: To the person with the red pencil and nasty temperament: (from SAIL's BBOARD)
To: JMC@SU-AI.ARPA
cc: bach@SUMEX-AIM.ARPA
In-Reply-To: Message from "John McCarthy <JMC@SU-AI>" of Mon 5 Dec 83 17:41:00-PST
It's not so much the printing time which is relevant, but to spool such a file
takes a long time, builds up the queue, prevents others from spooling, and since
the DOVER is not able to print as it is spooling (hey, computer are so stupid,
(:-) ) there is some snowballing effect.
Rene
PS. I am not the person in question. I haved used pen and pencils because I
think it is reasonable to try to inforce a policy which is reasonable. If there
is no enforcement, then the policy is, unfortunately, useless. Adding a note
is a harmless and effective mean to "reinforce" (in the psychological meaning)
such policy. (see the BBOARD). Anynonymous is the only objectionable (as far as
I am concerned) point.
-------
Message from Rene Bach about Dover spooling
If seven minutes is all spooling 157 pages takes (see RPG message to
BBOARD), then your real complaint is against something else. Either
there is so much overhead that small jobs don't take proportionately
less, or you are merely reacting to the fact that the Dover doesn't
say when it is done. When the xgp at the AI Lab was overloaded, we
didn't have any nastiness, so I suppose it's the latter.
------- End undelivered message -------
∂07-Dec-83 0131 JMC Dover spooling
To: su-bboards@SU-AI, bach@SUMEX-AIM
According to RPG a 157 page file took 7 minutes. If this is really all the
time it took, then the complaints have to be about something else. Either
that small files don't take proportionally less or simply that one doesn't
know when one's file is really going to be printed. When the xgp at the
AI Lab was overloaded (it's much slower), there wasn't the same level of
complaint, so I suspect that the lack of information is a major part of
the reason for so much complaint.
∂07-Dec-83 1127 JMC wrong track
To: SJG
I have read your note and am more than ever convinced that you are
on it, but I have no new arguments. We can discuss it further when
you return.
∂07-Dec-83 1621 JMC
To: bscott@SU-SCORE
Ok about Len.
∂08-Dec-83 1027 JMC
To: dam%oz@MIT-MC
Now that I have taken another look, I have only one more suggestion which
is to weaken the prohibition of Prolog and mathematical logic. I would
suggest
"Matters more appropriate for the Prolog Digest will not usually
be accepted for Logic-in-AI nor will matters of purely mathematical
logical or philosophical interest".
It seems to me that it would be appropriate for someone to enter a
discussion with a statement, "but that's just a Prolog program".
∂08-Dec-83 1029 JMC
To: dam%oz@MIT-MC
Further remark on logic in AI. Keep life simple for yourself and
for contributors. The biggest problem is that there won't be enough
submissions.
∂09-Dec-83 0055 JMC
To: macqueen@USC-ISIF
Curiously enough, JMC@MIT is me at Stanford. Who was your host at M.I.T.,
since I sometimes get mail to JMC@MC that obviously wasn't addressed to me?
∂09-Dec-83 1303 JMC Lisp for IBM
To: RPG
∂09-Dec-83 1034 uucp@Shasta Lisp for IBM
Received: from SU-SHASTA by SU-AI with TCP/SMTP; 9 Dec 83 10:34:26 PST
Received: from decwrl by Shasta with UUCP; Fri, 9 Dec 83 09:17 PST
Date: 9 Dec 1983 0903-PST (Friday)
Sender: uucp@Shasta
From: decwrl!baskett (Forest Baskett) <decwrl!baskett@Shasta>
Subject: Lisp for IBM
Message-Id: <8312091703.AA22621@DECWRL>
Received: by DECWRL (3.327/4.09) 9 Dec 83 09:03:04 PST (Fri)
To: jmc@sail
I hear you might be planning a new project? Are any details public?
Forest
∂09-Dec-83 1501 JMC
To: JJW
Agreed about Janet Lee.
∂09-Dec-83 1514 JMC motivation on "Algebra of Types"
To: JK
I haven't got far into the paper and don't know whether I will,
but I think the paper would be read much more if you would supply
a motivational introduction. It should mention the main examples of
functions with variable numbers of arguments, e.g. LIST, APPEND,
MAPLIST and MAPCAR and whatever others you know whose formalization
require require extended notions of type. I know that it is customary
in mathematical writing to leave this out, but it will make a big
difference here, not least of all to our patient sponsors.
∂10-Dec-83 1732 JMC
To: JK
I'm not sure examples of EKL proofs are required, although they
will be helpful. What I think is more important is a brief discussion
of a few functions with variable numbers of arguments, etc. and
why they motivate your more complex types.
∂11-Dec-83 1206 JMC
To: JJW
Thanks about Janet Lee.
∂11-Dec-83 1742 JMC What is the moral of this story?
To: su-bboards@SU-AI
a267 1724 11 Dec 83
AM-Coffee House Shooting,350
Man Arraigned for Shooting, Armed Robbery at Poetry Reading
GRAND RAPIDS, Mich. (AP) - A man who tried to hold up guests at a
peace activist's poetry reading has been charged with attempted murder
and armed robbery, police said Sunday.
Three people were injured in the robbery attempt, including poet
Nathan Butler, 31, who was in critical condition Sunday with a bullet
wound to the head.
The suspect, Lorenzo Davis, 25, was arraigned Saturday and was being
held in the Kent County Jail in $50,000 bond, a sheriff's deputy
said.
He was arrested Friday night at the Gaia Coffee House, which had
been closed for the private reading commemorating the death a year ago
of Norman D. Mayer, an anti-nuclear activist killed by police after
he took over the Washington Monument.
Butler underwent surgery and remained in critical condition Sunday
at Blodgett Memorial Medical Center, nursing supervisor Lois
Springstead said.
Theresa Richard, 27, was treated for a gunshot wound to the elbow,
while coffee house owner K.C. Caliendo, 28, was treated for facial
cuts after she was pistol-whipped during the holdup attempt. Neither
was hospitalized.
Ms. Caliendo said she entered the coffee house about 9:45 p.m. and
saw five women and four men milling around as a man with a gun talked
with Butler.
''Nate was saying, 'Hey! Put that gun down.' I didn't think it was a
real gun,'' Ms. Caliendo said. ''I thought, 'Is this a tribute to
Norman D. - a crazed poet acting something out?' ''
Ms. Caliendo said the gunman ordered everyone into a restroom,
telling the group he would rob them, but she did not think he was
serious and started to walk out.
As she did, she said, he pistol-whipped her with what appeared to be
.38-caliber pistol, adding, ''Then, we realized he was flipping
out.''
When the gunman later threatened to take an unidentified pregnant
woman as a hostage, Butler tried to stop him, Ms. Caliendo said.
''There was a fight and I heard three gunshots,'' she said. ''Then
everyone jumped on him (the robber) and took his gun.''
In the process, she said, Butler and Ms. Richard were wounded.
ap-ny-12-11 2024EST
***************
∂11-Dec-83 2139 JMC re: Also Sprach Robert Greer Cohn (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - Alas, Robert Cohn is for real. The whole article has been typed
by someone into the LOTSA bulletin board. Actually, one can find this
style of writing in French magazines of various persuasions.
It's a sort of waterspider like skating on the surface of phenomena.
∂12-Dec-83 1459 JMC
To: aaai@SRI-AI
Yes, I intend to do one each quarter. What is the deadline?
∂12-Dec-83 1556 JMC
To: ZM@SU-AI, DEK@SU-AI, TW@SU-AI, golub@SU-SCORE
To me the ranks are not important, and therefore, I approve the proposal
as amended. Kay consulting full, Smith consulting asst., Rosenschein,
Moore, Grosz and Perrault consulting assoc.
∂12-Dec-83 1746 JMC visit
To: HST
CC: CLT
My project and Carolyn and Richard's company can supply $200 and some
housing in exchange for a talk here and a talk at the ADAK Company.
Please be sure that you have a visa permitting the acceptance of
honoraria or at least expenses.
∂13-Dec-83 1626 JMC
To: ROD
May I complain about your occupying bboard and then going away?
∂13-Dec-83 1636 JMC re: New Generation computing: Japanese and U.S. views (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - If one wanted comparable statements, rather than making a debating
point, one would have to look for statements by the Japanese Self Defense
Agency or statements from universities. However, what Moto-Oka does is raise
the question of raising questions about social impact. This is easier
than raising the questions themselves, and a lost easier than offering
any answers. Actually, DoD has offered one answer; the Western lead
in computer technology can be used to ease our problem of defense.
∂13-Dec-83 2205 JMC
To: DFH
Please U.S. mail "What should the doctor do?" to my daughter Susan Gunther.
∂14-Dec-83 0111 JMC
To: JK, CLT
See japan[f83,jmc].
∂14-Dec-83 2310 JMC
To: JJW
Certainly the people who do it right should get more credit. How much
I leave to you.
∂15-Dec-83 0852 JMC
To: CLT
a047 0413 15 Dec 83
PM-Foreign Briefs,460
ROME (AP) - An Italian pianist has discovered a previously unknown
flute serenade by Ludwig van Beethoven, the Italian news agency ANSA
has reported.
Carlo Alberto Neri discovered the work in a private library in the
central Italian city of Arezzo.
Neri was quoted in an agency dispatch Tuesday as saying the work,
which also calls for piano accompaniment, almost certainly belongs to
Beethoven's early days as a composer.
∂15-Dec-83 0853 JMC Doctor's dilemma
To: mccorduck@COLUMBIA-20
After all these years I plan to try to publish it, so don't print too
much of it.
∂19-Dec-83 0045 JMC frame problem
To: pylyshyn@CMU-CS-C
I could have a short paper on using circumscription to solve the
frame problem. It would be based on a section of a larger paper on
applying circumscription to formalizing common sense facts.
∂19-Dec-83 1411 JMC
To: mccorduck@COLUMBIA-20
There is no problem with what you plan to publish. Any suggestions on
where to try for whole piece?
∂20-Dec-83 0145 JMC
To: kjb@SRI-AI
Would you like to have lunch some day this week? Any.
∂20-Dec-83 1426 JMC
To: HST
fing newell@cmu-cs-a
PN Who Job What Pages State TTY Where
AN02 Allen Newell 39 RDMAIL 36+186 ↑C :23 4 Newell house 421-3668
Office: 4202 Science Hall (412) 578-2602 Secretary: Betsy Herk
Home: (412) 421-3668
Computer Science and Psychology faculty member
I think someone told me shortly after LISP was started that garbage collection
had been used before. My impression is that this was in a specific program
rather than in a programming system. I don't remember whether I have read
Newell's Turing lecture.
Please co-ordinate your visit with Carolyn.
∂20-Dec-83 1534 JMC
To: kjb@SRI-AI
The Faculty Club is open till the 23rd. How about there at 12? I'll
make the reservation if you agree.
∂20-Dec-83 1535 JMC
To: kjb@SRI-AI
In fact I have made the reservation for 12 and will change it if you
prefer something else.
∂20-Dec-83 2249 JMC Winter 1983 or Winter 1984
To: engelmore@SUMEX-AIM
Isn't it the usual custom to call the issue of a magazine coming
out now Winter 1984?
∂20-Dec-83 2300 JMC
To: DFH
Please see if I can have 252 on the following dates:
The lectures will be on January 18 and 25 and on February 1 and 8.
It may be that some of the lectures will take more than one session
in which case the series will be extended. The time will be 3pm, and
the place will be Room 252 Margaret Jacks Hall.
∂21-Dec-83 1154 JMC
To: DFH
301 is acceptable, and I'll want an overhead.
∂21-Dec-83 1344 JMC
To: TW@SU-AI, DEK@SU-AI, ZM@SU-AI
CC: golub@SU-SCORE
Let's go ahead with Rosenschein, since there is no objection to him, and
having the privileges may make some difference. I see some force in
Zohar's view that multiple consulting professorship appointments
violate Occam's razor. Smith is certainly primarily a computer scientist,
at least I hope so, but for that reason I think we should not give
him a higher consulting rank than we would give him if he had an
ordinary appointment. While I would have no hesitation about a regular
assistant professorship for him had we the slot, I wouldn't suppose that
he would rate higher than our present assistant professors in similar
fields.
∂21-Dec-83 1351 JMC Re: Ehud Shapiro
To: ROD
I think it would be very desirable to have Shapiro give the CSD Colloquium
on January 24. I want to repropose him for a faculty position.
∂21-Dec-83 1159 Nix.pa@PARC-MAXC.ARPA Re: Ehud Shapiro
Received: from PARC-MAXC by SU-AI with TCP/SMTP; 21 Dec 83 11:58:49 PST
Date: 21 Dec 83 11:35:32 PST
From: Nix.pa@PARC-MAXC.ARPA
Subject: Re: Ehud Shapiro
In-reply-to: "Stan@SRI-AI.ARPA's message of 21 Dec 83 10:37 PST"
To: Stan@SRI-AI.ARPA
Cc: jmc@SAIL.ARPA, Nix.pa@PARC-MAXC.ARPA
...He is anxious to know the dates, so if we can decide soon, I will let
him know what was decided.
Monday morning or Tuesday afternoon (Jan 23 or 24) would be best here at
PARC; Wednesdays tend not to be as good.
...(I can get an abstract from Fernando Pereira, who has some papers Udi
sent ahead).
Could you send me a copy of his abstract? Do you know if Udi would be
up for giving another gossip talk on ICOT as well?
Thanks,
Bob
∂21-Dec-83 1501 JMC
To: nix.pa@PARC-MAXC
I have proposed to Rod Brooks that he give the CSD Colloquium on
Jan 24, but I see Rod hasn't logged in for several days, so I'm not
confident of a quick response.
∂21-Dec-83 1503 JMC
To: yearwood@SU-SCORE
Thanks, but I won't be able to make it with the CS206 grades, although
I can have my other grades in 10 minutes.
∂21-Dec-83 1517 JMC
To: kjb@SRI-AI
CC: bmacken@SRI-AI, igoni@SRI-AI
I prefer to have it Friday afternoon, as early as possible after 2pm.
Many thanks.
∂21-Dec-83 1624 JMC
To: kjb@SRI-AI
Here is the tentative announcement. Note that I now propose to start
on Friday the 13th and to give the third lecture at IBM. This is
because I was already signed up with Joe Halpern for that date. Does
all this look ok? If so let me know, but don't use the text yet,
because I'll tinker with it a bit more.
.require "memo.pub[let,jmc]" source;
.cb Four Lectures on the Formalization of Common Sense Knowledge
.<<lectur[f83,jmc]>>
John McCarthy will give four lectures on the formalization of common
sense knowledge.
The lectures will be on Fridays at 2pm.
The dates are January 13, 20 and 27 and February 3.
The lectures will be in the conference room of the Center for Studies
in Linguistics and Information (CSLI) conference room in Ventura
Hall at Stanford, except for the third, which will be at the IBM Research
Laboratory in San Jose.
1. The "situation calculus". Expression of the facts about the
effects of actions and other events in terms of a function
result(e,s) giving the new situation that arises when the
event e occurs in the situation s. The frame and qualification
problems. Advantages and disadvantages of various reifications.
2. The circumscription mode of non-monotonic reasoning.
Mathematical properties and problems of circumscription.
Applications of circumscription to formalizing common sense
facts. Application to the frame problem, the qualification
problem and to the STRIPS assumption.
3. Formalization of knowledge and belief. Modal and first order
formalisms. Formalisms in which possible worlds are explicit
objects. Concepts and propositions as objects in theories.
Note that this lecture will be at the IBM Research Laboratory in
San Jose.
4. Philosophical conclusions arising from AI work. Approximate
theories, second order definitions of concepts, ascription of
mental qualities to machines.
The treatments given in the lectures are new, but the material
is related to the following papers.
%3McCarthy, John and P.J. Hayes (1969)%1: "Some Philosophical Problems from
the Standpoint of Artificial Intelligence", in D. Michie (ed), %2Machine
Intelligence 4%1, American Elsevier, New York, NY.
%3McCarthy, John (1980)%1:
"Circumscription - A Form of Non-Monotonic Reasoning", %2Artificial
Intelligence%1, Volume 13, Numbers 1,2, April.
.<<aim 334, circum.new[s79,jmc]>>
%3McCarthy, John (1977)%1:
"On The Model Theory of Knowledge" (with M. Sato, S. Igarashi, and
T. Hayashi), %2Proceedings of the Fifth International Joint Conference
on Artificial Intelligence%1, M.I.T., Cambridge, Mass.
%3McCarthy, John (1979)%1:
"First Order Theories of Individual Concepts and Propositions",
in Michie, Donald (ed.) %2Machine Intelligence 9%1, (University of
Edinburgh Press, Edinburgh).
.<<aim 325,concep[e76,jmc]>>
%3McCarthy, John (1979)%1:
"Ascribing Mental Qualities to Machines" in %2Philosophical Perspectives
in Artificial Intelligence%1, Ringle, Martin (ed.), Harvester Press, July 1979.
.<<aim 326, MENTAL[F76,JMC]>>
∂21-Dec-83 2232 JMC winter
To: engelmore@SUMEX-AIM
My impression is that there is a definite convention and that you will
confuse libraries, etc. the way you are doing it. I suggest you phone
the library or check other some other quarterlies in the library. If
there isn't a consistent convention that you are violating, then I have
no strong opinion of my own.
∂22-Dec-83 1015 JMC Udi's abstract
To: ROD
∂22-Dec-83 1007 STAN@SRI-AI.ARPA Udi's abstract
Received: from SRI-AI by SU-AI with TCP/SMTP; 22 Dec 83 10:07:16 PST
Date: 22 Dec 1983 1007-PST
From: Stan at SRI-AI
Subject: Udi's abstract
To: jmc at SAIL, nix at PARC
cc: stan
John, I gathered from Bob's reply to my message that you have proposed
Udi give the CSD colloquim on Jan. 24. Could you forward his abstract
to the relevant person(s)? Thanks.
Udi's "Bagel" abstract is as follows:
The Bagel: A Systolic Concurrent Prolog Machine
Ehud Shapiro
The Weizmann Institute of Science
It is argued that explicit mapping of processes to processors is
essential to effectively program a general-purpose parallel computer,
and, as a consequence, that the kernel language of such a computer
should include a process-to-processor mapping notation.
The Bagel is a parallel architecture that combines concepts of
dataflow, graph-reduction and systolic arrays. The Bagel's kernel
language is Concurrent Prolog, augmented with Turtle programs as a
mapping notation.
Concurrent Prolog, combined with Turtle programs, can easily implement
systolic systems on the Bagel. Several systolic process structures are
explored via programming examples, including linear pipes (sieve of
Erasthotenes, merge sort, natural-language interface to a database),
rectangular arrays (rectangular matrix multiplication, band-matrix
multiplication, dynamic programming, array relaxation), static and
dynamic H-trees (divide-and-conquer, distributed database), and
chaotic structures (a herd of Turtles).
All programs shown have been debugged using the Turtle graphics Bagel
simulator, which is implemented in Prolog.
-------
∂22-Dec-83 1018 JMC
To: stan@SRI-AI
Stan, the relevant person is Rod Brooks (ROD@SU-AI) to whom I have
proposed it by net mail and to whom I have forwarded the abstract.
However, he hasn't logged in since Friday, so I suppose he's travelling,
and so I can't be sure he hasn't already committed the relevant date.
∂22-Dec-83 1150 JMC
To: DFH
I won't need 301, since my lectures will be in Ventura.
∂22-Dec-83 1154 JMC
To: CLT
Taking Sarah to supper will be fine.
∂22-Dec-83 1156 JMC
To: DMC
Try 3pm.
∂22-Dec-83 1646 JMC
To: walker@SU-SCORE
David Chelberg has now passed AI Qual.
∂22-Dec-83 1753 JMC
To: CLT
∂22-Dec-83 1324 DFH
Flight possibilities
On Pan Am: Jan 1 SFO/JFK PA72 8:30am/4:40pm
JFK/Paris (Orly) PA 114 6:45pm/7:35am next day
Jan 7 Paris(Orly)/JFK PA 115 1pm/3:05pm
JFK/SFO PA 67 4:30pm/7:22pm
On Air France: LAX/Paris 10 pm/5:30pm next day
Paris/LAX 5 pm/7:35pm
Operates every day except Monday and Tuesday
Fares are the same on each (Air France common rates SFO and LAX).
Regular all-year fare (coach): $939 each way
Executive class: $1,259 each way
I have made reservations on the Pan Am flight listed above. They will be
automatically cancelled on Dec. 28 if they are not notified that a ticket
has been done.
Let me know if there is some other option you would like me to check.
∂24-Dec-83 0049 JMC
To: llw@S1-A
Pick up the phone if you can talk.
∂24-Dec-83 1057 JMC Hotel reservations
To: reddy@CMU-CS-C
Can you have the Centre get reservations at the Bristol Monday Jan 2
thru Saturday night Jan 7? Getting reservations ourselves was
unsuccessful before. We will let you know soon whether we'll go
Air France or Pan Am - most likely Pan Am.
∂26-Dec-83 0017 JMC
To: ZZZ
(defun all (p cc)
(and (funcall p cc) (or (atom cc)
(and (all p (car cc)) (all p (cdr cc))))))
(defun iscompact (x)
(all #'(lambda (y) (all #'(lambda (z) (or (not (equal y z)) (eq y z)))
x))
x))
∂26-Dec-83 1254 JMC
To: reddy@CMU-CS-A
Here are the flights my secretary, Diana Hall, found. I have decided
on the Pan Am. I would like Hotel Bristol reservations through
Saturday night, because we might stay one more day and leave on
Sunday.
∂22-Dec-83 1324 DFH
Flight possibilities
On Pan Am: Jan 1 SFO/JFK PA72 8:30am/4:40pm
JFK/Paris (Orly) PA 114 6:45pm/7:35am next day
Jan 7 Paris(Orly)/JFK PA 115 1pm/3:05pm
JFK/SFO PA 67 4:30pm/7:22pm
On Air France: LAX/Paris 10 pm/5:30pm next day
Paris/LAX 5 pm/7:35pm
Operates every day except Monday and Tuesday
Fares are the same on each (Air France common rates SFO and LAX).
Regular all-year fare (coach): $939 each way
Executive class: $1,259 each way
I have made reservations on the Pan Am flight listed above. They will be
automatically cancelled on Dec. 28 if they are not notified that a ticket
has been done.
Let me know if there is some other option you would like me to check.
∂27-Dec-83 1142 JMC next meeting
To: aaai-office@SUMEX-AIM
Wednesday is out for me. Otherwise any morning, preferably late.
∂27-Dec-83 1357 JMC dirty Lisp
To: meyer@MIT-MC
CC: CLT@SU-AI
I have been think about the problems of formalizing impure Lisp (with setq)
and dirty Lisp (with rplac). The temptation is simply to call this kind of
usage bad, especially when something is written in functional style and
has side effects. If the functional expression is written only for its
side effects, then this seems indeed unnecessarily obscure and can be
replaced by a construction with setq (more generally setf). However,
if both the side effects and the value are important, there is often no
obvious other way to write the program concisely. In that case, we theorists
should endeavor to provide suitable formalisms, and I have made a little
progress, not written up. Carolyn Talcott has some reformulations that
will be in her forthcoming thesis.
I'm sorry I missed your talk. If there is a written version, I would like
to see it.
∂28-Dec-83 0022 JMC
To: park@SRI-AI
No idea. Try Tom Binford (TOB@SU-AI). No need to go through SCORE.
∂28-Dec-83 0345 JMC space
To: cl.boyer@UTEXAS-20
On the whole, you're ideas are more concrete than mine ever were and
seem very reasonable. The one difference that I see is that mature
research projects tend to have a few non-faculty research associates,
although many of these people might have faculty positions at U.T.
Because there was always infinite unoccupied space at D.C. Power
Lab to expand into, I never had to do calculations. Les Earnest,
(home: 941-3984) did some, I believe.
∂28-Dec-83 1602 JMC
To: CLT
∂28-Dec-83 1032 CLT stoyan
when do you want HST to speak at stanford?
(Jan 10 or 11? what time??)
Make it Jan 10 (Tuesday) at 1pm.
∂28-Dec-83 1603 JMC
To: CLT
I hope Talcott will send me a copy of her thesis.
An overview of our approach to separating side-effects from purely functional
expressions is contained in my IFIP paper which I am sending you. I'm
considering submitting a paper to the LISP/functioanl programming symposium
this summer arguing that ALGOL (more precisely Reynold's and our idealization
thereof) is largely a purely functional language. If it gets written, I'll
send you a copy.
In general, I respect the intuition of sophisticated programmers, and agree we
theoreticians ought to try to capture and clarify it, rather than reject it.
Still, there are places where contrasting judgements seem appropriate, and the
pun of treating expressions as notations for sequential procedures with
side-effects is such a place in my view. I'd be interested in seeing your
examples where there is ``no obvious other way to write the program
concisely.'' I have also asked Gerry Sussman to offer some basic examples
supporting this mixed style, but he hasn't convinced me yet that there is
something especially natural about this view of algorithms. It could be
interesting to develop a new pun-free notation for describing algorithms in
which the mixture of side-effects and value passing is ``important''. (Perhaps
all that is needed is an expression notation in which the intended order of
evaluation is made explicit.)
It was nice to have a chance to chat with you again, even if only briefly.
Best wishes fr the New Year.
Regards, A..
∂28-Dec-83 1620 JMC MAILing from file
To: ME
What is the most convenient way to MAIL to single addresses
stored in a file? Addresses like
"decvax!mulga!yorick.basservax"@ucb-vax
are getting so long that the probability of error in copying
them is such that one prefers to do it electronically.
∂28-Dec-83 1634 JMC
To: "@TST.[F83,JMC]"@SU-AI
Yorick,
I'm not sure what pieces on social issues you are referring to, although
nothing on the system is lost. I have a large number of "Technology
essays", but only a few are on computer technology and of these only
one or two (as I recall) relate to cognitive science. Whatever they
are, they're still on disk, and I'd like to have them published.
Is your move to Australia permanent?
Best Regards,
John
∂28-Dec-83 2108 JMC
To: vsingh@SUMEX-AIM
You may borrow mine for a day. Ask my secretary Diana Hall in MJH358.
∂29-Dec-83 1447 JMC thanks for tickets
To: reddy@CMU-CS-A
CC: asbury@CMU-CS-A
Thanks for the tickets which I now have. (In future it would be better
to prepay via airline directly (if possible) rather than through a
travel agency. That way I can have my agency write the ticket and
deliver it rather than wait for an hour at Pan Am while they write
it). I assume Centre is making reservations at the Bristol, and I
hope someone will be there to talk to about state of project.
∂29-Dec-83 1534 JMC
To: reddy@CMU-CS-A
>Griffiths, Michael LISH, CNRS
* 31 chemin Joseph Aiguier
* 13009 Marseille
* (91)71-17-89
* (home: 71.69.25)
∂29-Dec-83 2215 JMC
To: emma@SRI-AI
I do not fill out forms for organizations that already have the information
except under penalty of law.
∂29-Dec-83 2221 JMC
To: CLT
I will probably be unable to shop tomorrow.
∂30-Dec-83 0104 JMC
To: LGC
That's fine. Give it to Diana.
∂30-Dec-83 1205 JMC
To: YOM
I couldn't find a numerical grade for Robert Given's prob. 6, but all
parts were marked with check, so I assumed he got 15.
∂30-Dec-83 1229 JMC
To: JMC
test
∂30-Dec-83 1229 JMC test
To: JMC
foot
∂30-Dec-83 1232 JMC mailing from file
To: ME
Thanks Marty. I inferred from your note that if I omitted the address
from the MAIL command it would use the first line of the message. That's
actually what I needed.
∂30-Dec-83 2319 JMC
To: ME
ns martin frost
Type ? for help.
Some news available back to: Saturday, 17-Dec-83
? Error in job 24
Bad retrieval; UUO at user 25135
↑C
.
∂31-Dec-83 2038 JMC
To: su-bboards@SU-AI
When God finished the bacteria, the Edsger complained, "My God,
don't you ever put any comments in your code?" Hence the intervening
sequences.
∂31-Dec-83 2118 JMC
To: ME
finger hearn%rand-cs
Unknown host name
∂01-Jan-84 0050 JMC
To: wiederhold@SRI-AI
Happy New Year.
∂07-Jan-84 2243 JMC
To: RWW
Check the Faculty Club. I decided to be unstingy and put him up
there.
∂08-Jan-84 2327 JMC re: Dover use and charges (from SAIL's BBOARD)
To: OTHER-SU-BBOARDS@SU-AI
jmc - Marginal cost is the derivative of total cost w/r volume, e.g. the
cost of one more page in the case of the Dover. Under the common condition
that marginal cost decrease with volume, charging everyone marginal cost
is a recipe for losing money, since no-one pays the fixed cost.
However, an organization that is breaking even can afford to take on a
new user at marginal cost provided the old users have no way of enforcing
a demand that they pay the same charges. When all users have to be
treated equally, then they pay average cost which is larger than marginal
cost. However, this is not always optimal from anyone's point of view.
Namely, there may be a class of user whose demand will be very low at
average cost, i.e. they can't afford average cost, but can afford something
higher than marginal cost. Letting them in can increase income to the
point that the original users get a reduction in price. This works provided
that the original users are motivated by the price they pay rather than
by a jealous feeling that everyone should pay the same. Another requirement
is that not too many of the original users can qualify for the criteria
for paying marginal + epsilon.
The preceding may be elementary and tedious, but many people write and
speak as if they don't know it.